Automata-Based Approaches to Security Protocol Verification: A Comprehensive Survey Integrating Hybrid and Real-World Perspectives. مجلة العلوم الشاملة, [S. l.], v. 9, n. ملحق 36, p. 398–405, 2025. DOI: 10.65405/s3f5df65. Disponível em: https://cjos.histr.edu.ly/index.php/journal/article/view/425. Acesso em: 13 ديسمبر. 2025.