Text this: التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية