Résumé
This document establishes a framework for the verification of cryptographic protocol specifications according to academic and industry best practices.
Informations générales
-
État actuel: PubliéeDate de publication: 2023-03Stade: Norme internationale publiée [60.60]
-
Edition: 2
-
Comité technique :ISO/IEC JTC 1/SC 27ICS :35.030
- RSS mises à jour
Cycle de vie
-
Précédemment
AnnuléeISO/IEC 29128:2011
-
Actuellement