قلاشم.; السالمع. ا.; بدويةع. ا. التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية. Tishreen University Journal -Engineering Sciences Series, v. 39, n. 3, 5 Jun. 2018.