1 Scope
This document establishes a framework for the verification of cryptographic protocol specifications according to academic and industry best practices.
BS ISO/IEC 29128-1:2023 history
2023BS ISO/IEC 29128-1:2023 Information security, cybersecurity and privacy protection. Verification of cryptographic protocols. Framework