Improving the Security of Cryptographic Protocol Standards
David Basin, Cas J. F. Cremers, Kunihiko Miyazaki, Saša Radomirović, Dai Watanabe · IEEE Security & Privacy · 2014
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.