Тамарин Прувер - Tamarin Prover
 | Тема этой статьи может не соответствовать Википедии рекомендации по продуктам и услугам. (Январь 2018) (Узнайте, как и когда удалить этот шаблон сообщения) |
 | |
 | |
| Оригинальный автор (ы) | Дэвид Бэйсин, Cas Cremers, Янник Драйер, Саймон Майер, Ральф Зассе, Бенедикт Шмидт |
|---|---|
| Разработчики) | Cas Cremers, Янник Драйер, Ральф Зассе |
| изначальный выпуск | 24 апреля 2012 г. |
| Стабильный выпуск | 1.4.1 / 18 января 2019 г. |
| Репозиторий | github |
| Написано в | Haskell |
| Операционная система | Linux, macOS |
| Доступно в | английский |
| Тип | Автоматизированное рассуждение |
| Лицензия | GNU GPL v3 |
| Интернет сайт | тамарин-испытатель |
Тамарин Прувер это программное обеспечение программа для формальная проверка из криптографические протоколы. Он был использован для проверки Безопасность транспортного уровня 1.3,[1] ISO / IEC 9798,[2] и DNP3 Безопасная проверка подлинности v5.[3][4][5][6]
использованная литература
- ^ Cremers, Cas; Хорват, Марко; Скотт, Сэм; ван дер Мерве, Тила (2016). «Автоматический анализ и проверка TLS 1.3: 0-RTT, возобновление и отложенная аутентификация». Симпозиум IEEE по безопасности и конфиденциальности, 2016 г., Сан-Хосе, Калифорния, США, 22-26 мая 2016 г.. IEEE S&P 2016. С. 470–485. Дои:10.1109 / SP.2016.35. ISBN 978-1-5090-0824-7.
- ^ Басин, Дэвид; Cremers, Cas; Мейер, Саймон (2013). «Возможное восстановление стандарта ISO / IEC 9798 для аутентификации объекта» (PDF). Журнал компьютерной безопасности. 21 (6): 817–846. Дои:10.3233 / JCS-130472.
- ^ Cremers, Cas; Денел-Вильд, Мартин; Милнер, Кевин (2017). «Безопасная аутентификация в сети: формальный анализ DNP3: SAv5» (PDF). Компьютерная безопасность - ESORICS 2017 - 22-й Европейский симпозиум по исследованиям в области компьютерной безопасности, Осло, Норвегия, 11-15 сентября 2017 г., Материалы, часть I. ESORICS 2017. Осло, Норвегия: Springer. С. 389–407. Дои:10.1007/978-3-319-66402-6_23. ISBN 978-3-319-66401-9.
- ^ Шмидт, Бенедикт; Майер, Саймон; Cremers, Cas; Басин, Дэвид (2012). «Автоматический анализ протоколов Диффи-Хеллмана и дополнительных свойств безопасности» (PDF). 25-й симпозиум по основам компьютерной безопасности IEEE, CSF 2012, Кембридж, Массачусетс, США, 25-27 июня 2012 г.. CSF 2012. Кембридж, Массачусетс: Компьютерное общество IEEE. С. 78–94.
- ^ Шмидт, Бенедикт (2012). Формальный анализ протоколов обмена ключами и физических протоколов (Кандидатская диссертация). Дои:10.3929 / ethz-a-009898924.
- ^ Мейер, Саймон (2012). Продвижение автоматизированной проверки протокола безопасности (Кандидатская диссертация). Дои:10.3929 / ethz-a-009790675.
внешние ссылки
- Официальный сайт Тамарин Прувер
- Дэвид Вонг создал вводное видео о прувере Тамарин.