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