Tulafale Un outil de sécurité pour les services Web
Télécharger maintenant

Tulafale Classement & Résumé

Tulafale Mots clés

syntaxe Xml syntaxe XML Protocole de sécurité du savon Protocole de savon Services de sécurité en ligne Télécharger Modifier la photo Samsung Phone Unlock modem espion crack Application client SMTP xp infini dans fusée mp35.1.7 Date d'antivirus de date ITUNE Driver Free GRATUIT OTK ROMANCE 3110c libre contra Logiciel Microprocessor 8085

Tulafale La description

Tulafale a été développé pour être une nouvelle langue de spécification pour la rédaction des descriptions de machine à chéries vérifiées de protocoles de sécurité à base de savon et de leurs propriétés. Tulafale est basé sur le calcul PI Calcul (pour écriture de collections de processeurs de savon en parallèle), ainsi que la syntaxe XML (pour exprimer la messagerie de savon), des prédicats logiques (pour construire et filtrer les messages de savon) et les assertions de correspondance (pour spécifier les objectifs d'authentification des protocoles ). Notre implémentation compile Tulafale dans le calcul PI appliqué, puis exécute le vérificateur de protocole basé sur la résolution de Blanchet. Par conséquent, nous pouvons vérifier automatiquement les propriétés d'authentification et de sécrété des protocoles de savon. Cette version inclut des scripts, des documentations et des exemples de stratégies de nos documents récents "sessions sécurisées pour les services Web" et de "la vérification de la sécurité basée sur les politiques pour les services Web".

Tulafale Logiciels associés