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