"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.