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