Hi All,
ISO/IEC just published ISO/IEC 29128-1:2023 Information security, cybersecurity and privacy protection - Verification of cryptographic protocols - Part 1: Framework
This document establishes a framework for the verification of cryptographic protocol specifications according to academic and industry best practices.
You can preview the standard here: https://www.iso.org/obp/ui/#iso:std:iso-iec:29128:-1:ed-2:v1:en
You can purchase the standard here: https://www.iso.org/standard/78931.html
------------------------------
Michael Roza CPA, CISA, CIA, CC, MBA, Exec MBA
------------------------------