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