Status : Published

Format Language
PDF + ePub
Paper
  • CHF96
Convert Swiss francs (CHF) to your currency

Abstract

This document establishes a framework for the verification of cryptographic protocol specifications according to academic and industry best practices.

Standard first page

Read sample 

Preview this standard in our Online Browsing Platform (OBP)

General information

  • Status
     : Published
    Publication date
     : 2023-03
    Stage
    : International Standard published [60.60]
  • Edition
     : 2
    Number of pages
     : 15
  • Technical Committee :
    ISO/IEC JTC 1/SC 27
    ICS :
    35.030 
  • RSS updates

Life cycle

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)

  2. Store
  3. Standards catalogue
  4. ICS
  5. 35
  6. 35.030
  7. ISO/IEC 29128-1:2023