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