قلاش م., السالم ع. ا. and بدوية ع. ا. (2018) “التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية”, Latakia University Journal -Engineering Sciences Series, 39(3). Available at: https://journal.tishreen.edu.sy/index.php/engscnc/article/view/3777 (Accessed: 17April2025).