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