ISO 29128 – Verification of cryptographic protocols
Beschreibung ISO/IEC 29128:2011 establishes a technical base for the security proof of the specification of cryptographic protocols. It specifies design evaluation criteria for these protocols, as well as methods to…