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