2018. التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية. Latakia University Journal -Engineering Sciences Series. 39, 3 (Jun. 2018).