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