Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. ProVerif Editor

ProVerif Editor 0.2

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 3.0/5 - ‎2 ‎Votes
Télécharger

Un éditeur pour modifier et vérifier les protocoles spécifiés dans SPI-calculus à l’aide de ProVerif.

historique de la version

  • Version 0.2 posté sur 2010-01-08
    Plusieurs correctifs et mises à jour
  • Version 0.2 posté sur 2010-01-08

Détails du programme

Programmes connexes

  • Child Computer Time Out Essai gratuit

    Si vous craignez que votre enfant passe trop de temps en ligne ou joue à des jeux - ou vous ne voulez pas qu’il utilise votre PC lorsque vous dormez ou loin de la maison - ce type de logiciel offre une solution. Il vous perme

  • Cloud Online Backup Essai gratuit

    Cloudonlinebackup est la solution rapide et sécurisée pour la sauvegarde en ligne. Il maintient tous les transferts sécurisés et cryptés, s’exécute en arrière-plan et s’assure que la perte de données n’est pas un danger. Les

  • Hackademic Challenges Gratuit

    Les Défis Hackademic est un projet open source qui vous aide à tester vos connaissances sur la sécurité des applications Web. Vous pouvez l’utiliser pour attaquer réellement les applications Web dans un environnement réaliste

  • Internet History Washer Essai gratuit

    Le moyen facile d’effacer les traces de navigation sur InternetPersonne ne le saura jamais :- Quels sites vous avez visités - Ce que vous avez cherché - Vos mots de passe - Et de vous identifier comme un visiteur r

  • Fast Windows Hider Essai gratuit

    Fast Windows Hider est un outil de protection conçu pour vous aider à cacher toutes les fenêtres (applications) à un moment donné. Il suffit d’appuyer sur l’icône hotkey ou cliquez sur. Vous pouvez masquer Internet Explorer o

  • Openwall wordlists collection Essai gratuit

    Une vaste collection de listes de mots destinées à être utilisées avec des utilitaires de récupération de mot de passe. Cette collection comprend des listes de mots pour plus de 20 langues humaines et des listes de mots de pa

  • OneNote Password Recovery Essai gratuit

    OneNote Password Recovery est un programme de récupération de mots de passe perdus ou oubliés pour les ordinateurs portables Microsoft OneNote. Les mots de passe multilingues sont pris en charge. Toutes les versions de Micros

  • One Click Privacy Essai gratuit

    One Click Privacy efface définitivement toute activité Internet, mots de passe mis en cache et informations de carte de crédit, journaux IM, enregistrements de lecteur multimédia, requêtes moteur de recherche et l’utilisation

  • RC4.NET Gratuit

    RC4.NET une bibliothèque qui ajoute une prise en charge pour le chiffrement/décryptage à l’aide de l’algorithme RC4 symétrique dans l’environnement .NET. La bibliothèque est écrite en langue C#, et fonctionne également bien s

  • Secure File Encryption Program Gratuit

    Cryptage de fichiers Open Source, écrit pour en savoir plus sur cryptograpy, programmation, etc. Et j’espère trouver de nouvelles techniques de cryptage qui pourraient bénéficier au public.