"Automata-Based Approaches to Security Protocol Verification: A Comprehensive Survey Integrating Hybrid and Real-World Perspectives". مجلة العلوم الشاملة 9, no. ملحق 36 (نوفمبر 19, 2025): 398–405. تاريخ الوصول ديسمبر 13, 2025. https://cjos.histr.edu.ly/index.php/journal/article/view/425.