CryptoVerif - CryptoVerif - Wikipedia
 | tento článek je psán jako osobní reflexe, osobní esej nebo argumentační esej který uvádí osobní pocity editora Wikipedie nebo představuje originální argument o tématu. (Listopadu 2011) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
 | tento článek potřebuje další citace pro ověření. (Listopadu 2011) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
| Vývojáři | Bruno Blanchet |
|---|---|
| První vydání | 2005 |
| Stabilní uvolnění | 1.21 / 3. září 2015 |
| Napsáno | OCaml |
| K dispozici v | Angličtina |
| Licence | Hlavně GNU GPL / Windows binární Licence BSD |
| webová stránka | prosecco |
CryptoVerif [1] je softwarový nástroj pro automatické uvažování o bezpečnostní protokoly napsal Bruno Blanchet. Proti ProVerif od stejného tvůrce, který používá symbolickou abstrakci, je ve výpočetním modelu zvuk[Citace je zapotřebí ].
Může to dokázat tajemství a korespondence vlastnosti. Mezi tyto patří zejména autentizace.
Podporované kryptografické mechanismy
Poskytuje mechanismus pro určení předpokladů zabezpečení kryptografické primitivy, který zvládne zejména
Betonové zabezpečení
CryptoVerif dokáže vyhodnotit pravděpodobnost úspěšného útoku proti protokolu vzhledem k pravděpodobnosti rozbití každého kryptografického primitiva, tj. Může stanovit konkrétní zabezpečení.
Reference
- ^ Bruno Blanchet. Výpočtově spolehlivý mechanizovaný poskytovatel bezpečnostních protokolů. V IEEE Symposium on Security and Privacy, strany 140-154, Oakland, Kalifornie, květen 2006.