“التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية”. Latakia University Journal -Engineering Sciences Series 39, no. 3 (June 5, 2018). Accessed October 21, 2026. https://journal.latakia-univ.edu.sy/index.php/engscnc/article/view/3777.