Title :
Improving the Security of Cryptographic Protocol Standards
Author :
Basin, David ; Cremers, Cas ; Miyazaki, Kunihiko ; Radomirovic, Sasa ; Watanabe, Dai
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;
Journal_Title :
Security & Privacy, IEEE
DOI :
10.1109/MSP.2013.162
