 | tulafale.أداة أمان لخدمات الويب |
| التحميل الان | |
tulafale. الترتيب والملخص
الإعلانات
- رخصة:
- Freeware
- اسم الناشر:
- Microsoft
- أنظمة التشغيل:
- Windows XP / 2003 / Vista / 7
- حجم الملف:
- 2.2 MB
tulafale. العلامات
tulafale. وصف
تم تطوير Tulafale ليكون لغة مواصفات جديدة لكتابة أوصاف قابلة للتحقق من آلة البروتوكولات الأمنية المستند إلى الصابون وخصائصها. يعتمد Tulafale على حساب التفاضل والتكامل PI (لكتابة مجموعات من معالجات الصابون التي تعمل بالتوازي)، بالإضافة إلى بناء جملة XML (للتعبير عن المراسلة الصابون) والمسندات المنطقية (للبناء والترشيح رسائل الصابون) وتأكيد المراسلات (لتحديد أهداف المصادقة للبروتوكولات ). يجمع التنفيذ لدينا Tulafale في حساب التفاضل والتكامل PI المطبق، ثم يدير التحقق من بروتوكول BLANCHET القائم على القرار. وبالتالي، يمكننا التحقق تلقائيا من المصادقة وخصائص السرية من بروتوكولات الصابون. يتضمن هذا الإصدار البرامج النصية والوثائق وسياسات المثال من أوراقنا الأخيرة "جلسات آمنة لخدمات الويب" و "التحقق من الأمان القائم على السياسة لخدمات الويب."
tulafale. برامج ذات صلة
