![header thumbnail](/images/publishers\bsi_cover.gif)
10/30192143 DC : 0
Superseded
A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.
View Superseded by
![header thumbnail](/images/publishers\bsi_cover.gif)
BS ISO/IEC 29128 - INFORMATION TECHNOLOGY - SECURITY TECHNIQUES - VERIFICATION OF CRYPTOGRAPHIC PROTOCOLS
Hardcopy , PDF
31-01-2012
English
Foreword
Introduction
1 Scope
2 Normative references
3 Terms and definitions
4 Symbols (and abbreviated terms)
5 General
6 Specifying cryptographic protocols
7 Cryptographic protocol assurance levels
8 Security Assessment and Verification
9 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.