DocumentCode
47020
Title
Improving the Security of Cryptographic Protocol Standards
Author
Basin, David ; Cremers, Cas ; Miyazaki, Kunihiko ; Radomirovic, Sasa ; Watanabe, Dai
Volume
13
Issue
3
fYear
2015
fDate
May-June 2015
Firstpage
24
Lastpage
31
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
cryptographic protocols; standardisation; cryptographic protocol standard security; formal method; standardization process; threat model; unambiguous security property; Computer security; Cryptography; Formal verification; Privacy; Protocols; Standards; formal methods; network protocols; protocol verification; security; standards;
fLanguage
English
Journal_Title
Security & Privacy, IEEE
Publisher
ieee
ISSN
1540-7993
Type
jour
DOI
10.1109/MSP.2013.162
Filename
6701303
Link To Document