قلاش م.; السالم ع. ا.; بدوية ع. ا. التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية. Tuj-eng 2018, 39.