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