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