2018. التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية. مجلة جامعة اللاذقية- سلسلة العلوم الهندسية. 39, 3 (يونيو 2018).