BS ISO/IEC 29128:2011
Superseded
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
Information technology. Security techniques. Verification of cryptographic protocols
Hardcopy , PDF
04-11-2023
English
01-31-2012
Foreword
Introduction
1 Scope
2 Terms and definitions
3 Symbols and notation
4 General
5 Specifying cryptographic protocols
6 Cryptographic protocol assurance levels
7 Security Assessment and Verification
8 Common Methodology for Cryptographic Protocols
Security Evaluation
Annex A (informative) - Guidelines for Cryptographic
Protocol Design
Annex B (informative) - Example of formal specification
Annex C (informative) - Verification examples
Bibliography
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.