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
Customer care
+41 22 749 08 88
Opening hours:
Monday to Friday - 09:00-12:00, 14:00-17:00 (UTC+1)