ANSI - INCITS/ISO/IEC 29128
Information technology - Security techniques - Verification of cryptographic protocols
active, Most Current
| Organization: | ANSI |
| Publication Date: | 1 January 2011 |
| Status: | active |
| Page Count: | 60 |
scope:
This International Standard establishes a technical base for the security proof of the specification of cryptographic protocols. This International Standard specifies design evaluation criteria for these protocols, as well as methods to be applied in a verification process for such protocols. This International Standard also provides definitions of different protocol assurance levels consistent with evaluation assurance components in ISO/IEC 15408.
Document History
INCITS/ISO/IEC 29128
January 1, 2011
Information technology - Security techniques - Verification of cryptographic protocols
This International Standard establishes a technical base for the security proof of the specification of cryptographic protocols. This International Standard specifies design evaluation criteria for...