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