"التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية". مجلة جامعة اللاذقية- سلسلة العلوم الهندسية, م 39, عدد 3, يونيو، 2018, https://journal.latakia-univ.edu.sy/index.php/engscnc/article/view/3777.