Fs2pv un vérificateur de protocole cryptographique pour F #
Télécharger maintenant

Fs2pv Classement & Résumé

Fs2pv Mots clés

compilateur compiler protocole Vérificateur AppConfig Vérificateur vérificateur de courrier électronique CD vérificateur Vérificateur d'URL Vérificateur de fichier Vérificateur SFV Vérificateur de vitesse Protocole HDMP Protocole YMSG vérificateur de bot libre vérificateur désactivation vérificateur de courrier vérificateur de serveur vérificateur de connexion protocole nmdc Vérificateur de site Web vérificateur de pot de miel Vérificateur de page Web vérificateur d'accord Protocole RTMPE vérificateur de signature vérificateur de réseau ActiveSync Verifier vérificateur orthographique vérificateur de données Vérificateur de code universel vérificateur de cinéma local Vérificateur de contrôle Vérificateur d'épisode Version vérificative bibliothèque cryptographique Outil cryptographique Transformation cryptographique schéma cryptographique cryptographique Application cryptographique Vérificateur MD5 vérificateur de code de hachage Vérificateur iso vérificateur de CRC vérificateur d'intégrité vérificateur de disque Vérificateur MD5SUM application Verifier Vérificateur de port COM vérification de disponibilité Vérificateur système Qui est le protocole Protection cryptographique vérificateur de lien vérificateur de texte Vérificateur d'intégrité des flux objet cryptographique Programme cryptographique Vérificateur flash MediaStream Verifier vérifieur SHA-1 Vérificateur UPNP Vérificateur post-attaque vérificateur de débit Vérificateur de port PDF vérificateur SDK cryptographique Vérificateur d'en-tête Vérificateur de stabilité Vérificateur Java Vérificateur d'utilisation des cas vérificateur d'activité Vérificateur imap vérificateur de compte vérificateur de connectivité Vérificateur de signature numérique Vérificateur de mise à jour Vérificateur de classes C++ Vérificateur de hachage Assemblée Verifier Vérificateur de contrôle Vérificateur de contrôle WPF Vérificateur de mot Valeur de hachage cryptographique vérificateur d'orthographe Vérifier le protocole cryptographique Modèle PI-calcul vérificateur mécanique Vérificateur prérequis Vérificateur d'applications Web Data Stream Verifier Vérificateur PE Fonction cryptographique Vérificateur pré-requis Vérificateur d'installation opération cryptographique vérificateur de courrier électronique algorithmes cryptographiques

Fs2pv La description

FS2PV a été développé pour être un outil de vérification compilant les implémentations de protocole cryptographiques dans un sous-ensemble de premier ordre de F # à un modèle formel Pi-calcul. Ce modèle Pi-Calculus peut ensuite être analysé à l'aide de Proverif pour prouver les propriétés de sécurité souhaitées ou trouver des défauts de sécurité.

Fs2pv Logiciels associés