CryptoVerif - Википедия - CryptoVerif
 | Эта статья написано как личное размышление, личное эссе или аргументированное эссе который излагает личные чувства редактора Википедии или представляет оригинальный аргумент по теме. (Ноябрь 2011 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
 | Эта статья нужны дополнительные цитаты для проверка. (Ноябрь 2011 г.) (Узнайте, как и когда удалить этот шаблон сообщения) |
| Разработчики) | Бруно Бланше |
|---|---|
| изначальный выпуск | 2005 |
| Стабильный выпуск | 1.21 / 3 сентября 2015 г. |
| Написано в | OCaml |
| Доступно в | английский |
| Лицензия | В основном GNU GPL / Бинарный файл Windows Лицензии BSD |
| Интернет сайт | просекко |
CryptoVerif [1] это программный инструмент для автоматическое рассуждение о протоколы безопасности написано Бруно Бланше. Вопреки ProVerif тем же создателем, который использует символическую абстракцию, это звучит в вычислительной модели[нужна цитата ].
Это может доказать секретность и свойства соответствий. К последним, в частности, относятся аутентификация.
Поддерживаемые криптографические механизмы
Он предоставляет механизм для определения предположений безопасности на криптографические примитивы, который может обрабатывать, в частности
- симметричное шифрование,
- коды аутентификации сообщений,
- шифрование с открытым ключом,
- подписи,
- хэш-функции.
Бетонная безопасность
CryptoVerif может оценивать вероятность успешной атаки на протокол относительно вероятности взлома каждого криптографического примитива, то есть может установить конкретная безопасность.
Рекомендации
- ^ Бруно Бланше. Вычислительно-надежная механизированная программа проверки протоколов безопасности. В симпозиуме IEEE по безопасности и конфиденциальности, стр. 140-154, Окленд, Калифорния, май 2006 г.