Resumen
This document establishes a framework for the verification of cryptographic protocol specifications according to academic and industry best practices.
Informaciones generales
-
Estado: PublicadoFecha de publicación: 2023-03Etapa: Norma Internacional publicada [60.60]
-
Edición: 2Número de páginas: 15
-
Comité Técnico :ISO/IEC JTC 1/SC 27ICS :35.030
- RSS actualizaciones
Ciclo de vida
-
Anteriormente
RetiradaISO/IEC 29128:2011
-
Ahora