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