“التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية”, Tuj-eng, vol. 39, no. 3, Jun. 2018, Accessed: Oct. 21, 2026. Available: https://journal.latakia-univ.edu.sy/index.php/engscnc/article/view/3777