WikiDer > Протоколы безопасности Открытый репозиторий

Security Protocols Open Repository

СПОРЫ, то Протоколы безопасности Открытый репозиторий, это онлайн-библиотека протоколы безопасности с комментариями и ссылками на статьи. Каждый протокол можно загрузить в различных форматах, включая правила для использования с инструментами автоматической проверки протокола. Все протоколы описаны с использованием BAN логика или стиль, используемый Кларком и Джейкобом, и их цели. База данных включает подробную информацию о формальных доказательствах или известных атаках со ссылками на комментарии, анализ и статьи. Перечислено большое количество протоколов, многие из которых оказались небезопасными.

Это продолжение плодотворной работы Джон Кларк и Джереми Джейкоб.^[1]

Они ищут вклады для новых протоколов, ссылок и комментариев.