Improving the Security of Cryptographic Protocol Standards

David Basin; Cas Cremers; Kunihiko Miyazaki; Saša Radomirović; Dai Watanabe

doi:10.1109/MSP.2013.162

Improving the Security of Cryptographic Protocol Standards

David Basin, Cas Cremers, Kunihiko Miyazaki, Saša Radomirović, Dai Watanabe

Computing

Research output: Contribution to journal › Article › peer-review

20 Citations (Scopus)

Abstract

Despite being carefully designed, cryptographic protocol standards often turn out to be flawed. Integrating unambiguous security properties, clear threat models, and formal methods into the standardization process can improve protocol security.

Original language	English
Pages (from-to)	24-31
Number of pages	8
Journal	IEEE Security and Privacy
Volume	13
Issue number	3
Early online date	6 Jan 2014
DOIs	https://doi.org/10.1109/MSP.2013.162
Publication status	Published - 2015

Keywords

Formal methods
Network protocols
Protocol verification
Security
Standards

ASJC Scopus subject areas

Computer Networks and Communications
Electrical and Electronic Engineering
Law

Access to Document

10.1109/MSP.2013.162

Cite this

@article{9ad8855eefb74963adba06dc34ec0053,

title = "Improving the Security of Cryptographic Protocol Standards",

abstract = "Despite being carefully designed, cryptographic protocol standards often turn out to be flawed. Integrating unambiguous security properties, clear threat models, and formal methods into the standardization process can improve protocol security.",

keywords = "Formal methods, Network protocols, Protocol verification, Security, Standards",

author = "David Basin and Cas Cremers and Kunihiko Miyazaki and Sa{\v s}a Radomirovi{\'c} and Dai Watanabe",

note = "No funding info",

year = "2015",

doi = "10.1109/MSP.2013.162",

language = "English",

volume = "13",

pages = "24--31",

journal = "IEEE Security and Privacy",

issn = "1540-7993",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

number = "3",

}

TY - JOUR

T1 - Improving the Security of Cryptographic Protocol Standards

AU - Basin, David

AU - Cremers, Cas

AU - Miyazaki, Kunihiko

AU - Radomirović, Saša

AU - Watanabe, Dai

N1 - No funding info

PY - 2015

Y1 - 2015

N2 - Despite being carefully designed, cryptographic protocol standards often turn out to be flawed. Integrating unambiguous security properties, clear threat models, and formal methods into the standardization process can improve protocol security.

AB - Despite being carefully designed, cryptographic protocol standards often turn out to be flawed. Integrating unambiguous security properties, clear threat models, and formal methods into the standardization process can improve protocol security.

KW - Formal methods

KW - Network protocols

KW - Protocol verification

KW - Security

KW - Standards

UR - http://www.scopus.com/inward/record.url?scp=84933052188&partnerID=8YFLogxK

U2 - 10.1109/MSP.2013.162

DO - 10.1109/MSP.2013.162

M3 - Article

AN - SCOPUS:84933052188

SN - 1540-7993

VL - 13

SP - 24

EP - 31

JO - IEEE Security and Privacy

JF - IEEE Security and Privacy

IS - 3

ER -

Improving the Security of Cryptographic Protocol Standards

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Radomirovic, Sasa

Cite this

Improving the Security of Cryptographic Protocol Standards

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Profiles

Radomirovic, Sasa

Cite this