قلاش م., السالم ع.ا. and بدوية ع.ا. 2018. التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية. Tishreen University Journal -Engineering Sciences Series,. 39, 3 (Jun. 2018).