Криптографический протокол
-
Определение и использование криптографических протоколов
- Криптографические протоколы обеспечивают безопасность, используя криптографические методы.
- Они описывают алгоритмы и структуры данных для реализации совместимых версий программ.
- Они широко применяются для безопасной передачи данных на прикладном уровне.
-
Аспекты криптографических протоколов
- Ключевое соглашение или учреждение.
- Аутентификация объекта.
- Создание материалов для шифрования и аутентификации сообщений.
- Защищенная передача данных на прикладном уровне.
- Методы обмена секретами и безопасные многопартийные вычисления.
-
Примеры криптографических протоколов
- TLS используется для защиты веб-соединений и включает аутентификацию объекта, создание ключа и передачу данных.
- Диффи-Хеллман является частью TLS, но может рассматриваться как отдельный протокол.
-
Усовершенствованные криптографические протоколы
- Они обеспечивают дополнительные характеристики, такие как слепые подписи, защищенные временные метки и многопартийные вычисления.
- Они также включают системы голосования с аудитом и неопровержимые подписи.
-
Формальная проверка криптографических протоколов
- Протоколы могут быть проверены на абстрактном уровне с использованием моделей Долева-Яо и других методов.
- Для проверки протоколов используются специализированные инструменты и проекты.
-
Абстрактный протокол и примеры
- Протоколы часто абстрагируются и моделируются с использованием нотации Алисы и Боба.
- Примеры включают IPSec, SSH и ZRTP.