"Automata-Based Approaches to Security Protocol Verification: A Comprehensive Survey Integrating Hybrid and Real-World Perspectives". مجلة العلوم الشاملة, م 9, عدد ملحق 36, نوفمبر، 2025, ص 398-05, https://doi.org/10.65405/s3f5df65.