International Organization for Standardization

Information technology - Security techniques - Verification of cryptographic protocols - First Edition
 N ISO/IEC 29128

Annotation

This International Standard establishes a technical base for the security proof of the specification of cryptographic protocols. This International Standard specifies design evaluation criteria for these protocols, as well as methods to be applied in a verification process for such protocols. This International Standard also provides definitions of different protocol assurance levels consistent with evaluation assurance components in ISO/IEC 15408.

Автоматический перевод:

Информационные технологии - методы Безопасности - Проверка криптографических протоколов - Первый Выпуск

Этот Международный стандарт устанавливает техническую основу для доказательства безопасности спецификации криптографических протоколов. Этот Международный стандарт указывает критерии оценки дизайна этих протоколов, а также методов, которые будут применены в процессе проверки для таких протоколов. Этот Международный стандарт также предоставляет определения различных уровней обеспечения протокола, соответствующих компонентам обеспечения оценки в ISO/IEC 15408.