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