Soumettre un logiciel
  1. Accueil
  2. Windows
  3. Autres
  4. Obol

Obol 2009-03-28

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

Obol est un langage de programmation pour les protocoles de sécurité. L’idée est de programmer plus près des abstractions utilisées pour décrire et analyser les protocoles de sécurité, laissant les détails de bas niveau tels que la représentation des messages, la communication, la crypto, à l’exécution.

historique de la version

  • Version 2009-03-28-snap posté sur 2009-03-28
    Plusieurs correctifs et mises à jour
  • Version 2009-03-28-snap posté sur 2009-03-28

Détails du programme

Programmes connexes

  • Action1 Add or Change Startup Program Gratuit

    Windows OS démarre automatiquement certaines applications spécifiées dans chaque profil utilisateur sur logon. L’ajout d’un programme au démarrage sur Windows peut aider à préparer le bureau de l’utilisateur au logon ou à pré

  • Secured Sumatra PDF Gratuit

    Secured Sumatra PDF est une version modifiée de Sumatra PDF visant à être implémentée dans des environnements de serveurs terminaux spécialement sécurisés comme Citrix.

  • EyeLog Gratuit

    EyeLog est un analyseur de journal flexible et extensible pour tout type de fichier journal. Il permet de définir des expressions régulières personnalisées (style perl) pour l’appariement des motifs et des formats printf pers

  • gui4bdc Gratuit

    gui4bdc est une extrémité avant graphique de Bit Defender Console, un scanner de virus pour Linux (disponible chez http://www.bitdefender.com). Il visera à fournir toutes les fonctionnalités de l’utilitaire console dans une i

  • TPM Device Driver Gratuit

    Pilote d’appareil pour activer la puce TPM tel que décrit par les spécifications http://www.trustedcomputinggroup.org.La puce TPM vous permettra d’utiliser du matériel pour stocker et protéger en toute sécurité vos clés et

  • OpenSmartHome Gratuit

    Open Smart Home est un projet qui fournit une interface de contrôle intelligente pour votre maison.

  • Easy-SEND Gratuit

    Easy-SEND est une implémentation du protocole SEND (SEcure Neighbor Discovery) pour IPv6. Il est destiné à être utilisé à des fins d’apprentissage et de test. SEND est décrit dans RFC 3971. Easy-SEND comprend un outil (CGAGen

  • EasyCrypter Gratuit

    EasyCrypter est l’application JAVA pour le chiffrement des données. Chiffrez vos fichiers en plusieurs étapes faciles.

  • StegTorrent Gratuit

    Un outil pour masquer bittorrent metainfo (.torrent fichiers) dans et restaurer le même retour d’images (et d’autres types de fichiers) en utilisant méthodes stéganographiques, fournissant une interface graphique amicale

  • MiniFW Gratuit

    Distribution Linux debout sur une disquette : iptables, noyau 2.4.18, support sshd et facile à configurer.