Abstract
This document establishes a framework for the verification of cryptographic protocol specifications according to academic and industry best practices.
General information
-
Status: PublishedPublication date: 2023-03Stage: International Standard published [60.60]
-
Edition: 2Number of pages: 15
-
Technical Committee :ISO/IEC JTC 1/SC 27ICS :35.030
- RSS updates
Life cycle
-
Previously
WithdrawnISO/IEC 29128:2011
-
Now