Английская Википедия:CryptoVerif
Материал из Онлайн справочника
Шаблон:Short description Шаблон:Multiple issues Шаблон:Infobox software
CryptoVerif is a software tool for the automatic reasoning about security protocols written by Bruno Blanchet.[1]
Supported cryptographic mechanisms
It provides a mechanism for specifying the security assumptions on cryptographic primitives, which can handle in particular
- symmetric encryption,
- message authentication codes,
- public-key encryption,
- signatures,
- hash functions.
Concrete security
CryptoVerif claims to evaluate the probability of a successful attack against a protocol relative to the probability of breaking each cryptographic primitive, i.e. it can establish concrete security.
References
- ↑ Bruno Blanchet. A Computationally Sound Mechanized Prover for Security Protocols. In IEEE Symposium on Security and Privacy, pages 140-154, Oakland, California, May 2006.
External links
