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
BS ISO/IEC 29128 - INFORMATION TECHNOLOGY - SECURITY TECHNIQUES - VERIFICATION OF CRYPTOGRAPHIC PROTOCOLS
Hardcopy , PDF
31-01-2012
English
Important note : Users cannot be edited or removed once added to your Multi user PDF.
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
| Committee |
IST/33
|
| DocumentType |
Draft
|
| Pages |
59
|
| PublisherName |
British Standards Institution
|
| Status |
Superseded
|
| SupersededBy |
| ISO/IEC 15408-2:2008 | Information technology — Security techniques — Evaluation criteria for IT security — Part 2: Security functional components |
| ISO/IEC 15408-3:2008 | Information technology — Security techniques — Evaluation criteria for IT security — Part 3: Security assurance components |
| ISO/IEC 15408-1:2009 | Information technology — Security techniques — Evaluation criteria for IT security — Part 1: Introduction and general model |
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.