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

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

19 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
Article number	6701303
Pages (from-to)	24-31
Number of pages	8
Journal	IEEE Security and Privacy
Volume	13
Issue number	3
DOIs	https://doi.org/10.1109/MSP.2013.162
Publication status	Published - May 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{35537031a8354f5b8516f236ecc866b9,

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",

year = "2015",

month = may,

doi = "10.1109/MSP.2013.162",

language = "English",

volume = "13",

pages = "24--31",

journal = "IEEE Security and Privacy",

issn = "1540-7993",

publisher = "IEEE",

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

PY - 2015/5

Y1 - 2015/5

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

M1 - 6701303

ER -

Improving the Security of Cryptographic Protocol Standards

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this