ISO/IEC 29128-1:2023 PDF
Information security, cybersecurity and privacy protection — Verification of cryptographic protocols — Part 1: Framework
Information security, cybersecurity and privacy protection — Verification of cryptographic protocols — Part 1: Framework
- Статус документа:
- Действующий
- Формат:
- Электронный (PDF)
- Количество страниц:
- 15
- Дата публикации:
- 20 марта 2023 г.
- Издание:
- ISO/IEC IS 29128 edition 2 version 1
- ICS:
- 35.030
This document establishes a framework for the verification of cryptographic protocol specifications according to academic and industry best practices.
Abstract
Overview
ISO/IEC 29128-1:2023 - Information security, cybersecurity and privacy protection - Verification of cryptographic protocols - Part 1: Framework provides a standardized framework for the formal verification of cryptographic protocol specifications. It defines how protocol models, adversarial models and security properties should be described and assessed according to academic and industry best practices. This second edition updates the 2011 version (removing informal proofs, deprecating PAL levels and streamlining technical requirements) and is intended to support objective, repeatable verification for security‑critical systems.
Похожие стандарты
Упомянутые в описании и другие стандарты ISO