قلاش م., السالم ع. ا., and بدوية ع. ا., “التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية”, Tuj-eng, vol. 39, no. 3, Jun. 2018.