# ISO/IEC 29128:2011 — Withdrawn and superseded ISO standards

For ISO/IEC 29128:2011, item title is Information technology — Security techniques — Verification of cryptographic protocols; status code is 9599; successor is ISO/IEC 29128-1:2023; withdrawn / published date is 2011-12-07, recorded from its source on 2026-08-05.

- **Identifier:** ISO/IEC 29128:2011 _(verified: appears in the quote below)_
- **Item title:** Information technology — Security techniques — Verification of cryptographic protocols _(verified: appears in the quote below)_
- **Status code:** 9599 _(verified: appears in the quote below)_
- **Successor:** ISO/IEC 29128-1:2023
- **Withdrawn / published date:** 2011-12-07 _(verified: appears in the quote below)_

## What the source says

> 45151,IS,,ISO/IEC 29128:2011,Information technology — Security techniques — Verification of cryptographic protocols,Technologies de l'information — Techniques de sécurité — Vérification des protocoles cryptographiques,2011-12-07,1,['35.030'],ISO/IEC JTC 1/SC 27,9599,,[78931],['en'],50,"<p>ISO/IEC 29128:2011 establishes a technical base for the security proof of the specification of cryptographic protocols. It specifies design evaluation criteria for these protocols, as well as methods to be applied in a verification process for such protocols. It also provides definitions of different protocol assurance levels consistent with evaluation assurance components in ISO/IEC 15408.</p>"

## Source

- https://isopublicstorageprod.blob.core.windows.net/opendata/_latest/iso_deliverables_metadata/csv/iso_deliverables_metadata.csv

Last verified: 2026-08-05. Review by: 2027-02-01.
Part of [Withdrawn and superseded ISO standards](https://referencesource.org/iso-standard-supersessions/).