BS ISO/IEC 29128:2011 - Page 2

Information technology. Security techniques. Verification of cryptographic protocols. | Status: Superseded, Withdrawn

1 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.