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