Customer Support: +1 416-401-8730

Login to i2i Subscription Intertek.com
  • There are no items in your cart
Please enter a keyword to search
Advanced search

BS ISO/IEC 29128:2011

Superseded
Superseded

A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.

View Superseded by
superseded

A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.

Information technology. Security techniques. Verification of cryptographic protocols
Available format(s)

Hardcopy , PDF

Superseded date

04-11-2023

Language(s)

English

Published date

01-31-2012

Publisher

British Standards Institution

Foreword
Introduction
1 Scope
2 Terms and definitions
3 Symbols and notation
4 General
5 Specifying cryptographic protocols
6 Cryptographic protocol assurance levels
7 Security Assessment and Verification
8 Common Methodology for Cryptographic Protocols
  Security Evaluation
Annex A (informative) - Guidelines for Cryptographic
        Protocol Design
Annex B (informative) - Example of formal specification
Annex C (informative) - Verification examples
Bibliography

Specifies a technical base for the security proof of the specification of cryptographic protocols.

This International Standard establishes a technical base for the security proof of the specification of cryptographic protocols. This International Standard specifies design evaluation criteria for these protocols, as well as methods to be applied in a verification process for such protocols. This International Standard also provides definitions of different protocol assurance levels consistent with evaluation assurance components in ISO/IEC 15408.

Committee
IST/33/3
DevelopmentNote
Supersedes 10/30192143 DC. (02/2012)
DocumentType
Standard
Pages
62
PublisherName
British Standards Institution
Status
Superseded
SupersededBy
Supersedes

Standards Relationship
ISO/IEC 29128:2011 Identical

ISO/IEC 15408-2:2008 Information technology — Security techniques — Evaluation criteria for IT security — Part 2: Security functional components
ISO/IEC 15408-3:2008 Information technology — Security techniques — Evaluation criteria for IT security — Part 3: Security assurance components
ISO/IEC 15408-1:2009 Information technology — Security techniques — Evaluation criteria for IT security — Part 1: Introduction and general model

View more information
US$311.44
Excluding Tax where applicable
USD
CAD
CHF
CNY
DKK
EUR
GBP
HKD
IDR
INR
JPY
KRW
MXN
NOK
NZD
SEK
SGD
USD
ZAR
Hardcopy - English
PDF - English
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

Access your standards online with a subscription

Features

  • Simple online access to standards, technical information and regulations.

  • Critical updates of standards and customisable alerts and notifications.

  • Multi-user online standards collection: secure, flexible and cost effective.

Learn more on subscription solutions

or

Get in touch with us