ДСТУ ISO/IEC 29128-1:2024 Інформаційна безпека, кібербезпека та захист конфіденційності. Перевірка криптографічних протоколів. Частина 1. Структура (ISO/IEC 29128-1:2023, IDT)

ДСТУ ISO/IEC 29128-1:2024
(ISO/IEC 29128-1:2023, IDT)

Інформаційна безпека, кібербезпека та захист конфіденційності.
Перевірка криптографічних протоколів. Частина 1. Структура

 
   
 
Не є офіційним виданням.
Офіційне видання розповсюджує національний орган стандартизації
(ДП «УкрНДНЦ» http://uas.gov.ua)

Contents

Foreword

Introduction

1 Scope

2 Normative references

3 Terms and definitions

4 Formal verification of cryptographic protocols

4.1 Methods for modelling cryptographic protocols

4.2 Verification requirements

4.3 Cryptographic protocol model

5 Verification process

5.1 General

5.2 Duties of the submitter

5.3 Duties of the evaluator

Annex A (informative) The Needham-Schroeder-Lowe public key protocol

Annex В (informative) Example submission

Annex C (informative) Example evaluation

Annex D (informative) Dolev-Yao model

Annex E (informative) Security properties

Bibliography