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