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