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