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