NEN-ISO/IEC 29128
Information technology - Security techniques - Verification of cryptographic protocols
inactive, Most Current
| Organization: | NEN |
| Publication Date: | 1 January 2012 |
| Status: | inactive |
| Page Count: | 60 |
| ICS Code (IT Security): | 35.030 |
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
NEN-ISO/IEC 29128
January 1, 2012
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...