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