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