Abstract
PreviewThis document establishes a framework for the verification of cryptographic protocol specifications according to academic and industry best practices.
-
Status: PublishedPublication date: 2023-03
-
Edition: 2Number of pages: 15
-
Technical Committee: ISO/IEC JTC 1/SC 27 Information security, cybersecurity and privacy protection
-
- ICS :
- 35.030 IT Security
Buy this standard
en
Format | Language | |
---|---|---|
std 1 92 | PDF + ePub | |
std 2 92 | Paper |
- CHF92
Life cycle
-
Previously
WithdrawnISO/IEC 29128:2011
-
Now
Got a question?
Check out our FAQs
Customer care
+41 22 749 08 88
Opening hours:
Monday to Friday - 09:00-12:00, 14:00-17:00 (UTC+1)