DSF/ISO/IEC FCD 29128
Verification of cryptographic protocols
inactive, Most Current
| Organization: | DS |
| Status: | inactive |
| Page Count: | 58 |
| ICS Code (Information coding): | 35.040 |
scope:
This standard provides a technical base for the security proof of the specification of cryptographic protocols. It describes design evaluation criteria for these protocols, as well as methods to be applied in a verification process for such protocols. This standard also provides definitions of different protocol assurance levels consistent with evaluation assurance components in ISO/IEC 15408.
Document History
DSF/ISO/IEC FCD 29128
Verification of cryptographic protocols
This standard provides a technical base for the security proof of the specification of cryptographic protocols. It describes design evaluation criteria for these protocols, as well as methods to be...