English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

The Caml Hump: Science :: Cryptography

Scientific software
Securify [25-Sep-2003, Stable]
A tool to verify secrecy for cryptographic protocols.
Scientific software
SKS [12-Mar-2003, version 1.0.7, Beta] Has a documentation
SKS is a new OpenPGP keyserver whose goal is to provide easy to deploy, decentralized, and highly reliable synchronization. That means that a key submitted to one SKS server will quickly be distributed to all key servers, and even wildly out-of-date servers, or servers that experience spotty connectivity, can fully synchronize with rest of the system.
Author: Yaron M. Minsky.