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