Automata-Based Approaches to Security Protocol Verification: A Comprehensive Survey Integrating Hybrid and Real-World Perspectives. م ع ش [Internet]. 2025 Nov. 19 [cited 2025 Dec. 31];9(ملحق 36):398-405. Available from: https://www.cjos.histr.edu.ly/index.php/journal/article/view/425