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