SPORE , открытый репозиторий протоколов безопасности , представляет собой онлайн-библиотеку протоколов безопасности с комментариями и ссылками на статьи. Каждый протокол можно загрузить в различных форматах, включая правила для использования с инструментами автоматической проверки протокола. Все протоколы описаны с использованием логики BAN или стиля, используемого Кларком и Джейкобом, и их целей. База данных включает подробную информацию о формальных доказательствах или известных атаках со ссылками на комментарии, анализ и статьи. Перечислено большое количество протоколов, в том числе многие, которые оказались небезопасными.
Это продолжение плодотворной работы Джона Кларка и Джереми Джейкоба . [1]
Они ищут вклады для новых протоколов, ссылок и комментариев.
См. Также [ править ]
- Криптографический одноразовый номер
- Криптография
- Важные книги , статьи и открытые проблемы в криптографии.
- Список тем криптографии .
- Криптография с открытым ключом
- Краткий и длинный списки криптографов.
- Алгоритм с симметричным ключом
Ссылки [ править ]
- ^ Обзор литературы по протоколу аутентификации: версия 1.0, заархивированная 24февраля2007 г. в Wayback Machine , оригинальная статья 1997 года Джона Кларка и Джереми Джейкоба