Automata-Based Approaches to Security Protocol Verification: A Comprehensive Survey Integrating Hybrid and Real-World Perspectives. م ع ش 2025, 9 (ملحق 36), 398-405. https://doi.org/10.65405/s3f5df65.