DSF/ISO/IEC FDIS 29128
Information technology - Security techniques - Verification of cryptographic protocols
pending, Most Current
| Organization: | DS |
| Status: | pending |
| Page Count: | 61 |
| ICS Code (Information coding): | 35.040 |
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
DSF/ISO/IEC FDIS 29128
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...