“Automata-Based Approaches to Security Protocol Verification: A Comprehensive Survey Integrating Hybrid and Real-World Perspectives”. Comprehensive Journal of Science, vol. 9, no. ملحق 36, Nov. 2025, pp. 398-05, https://doi.org/10.65405/s3f5df65.