Improving the Security of Cryptographic Protocol Standards
| Autor: | Cas Cremers, David Basin, Kunihiko Miyazaki, Saša Radomirović, Dai Watanabe |
|---|---|
| Rok vydání: | 2015 |
| Předmět: |
Cryptographic primitive
Computer Networks and Communications Computer science business.industry Cryptography Information security Cryptographic protocol Computer security model Computer security computer.software_genre Security testing Controlled Cryptographic Item Security service Security association Information security standards Universal composability Threat model Security through obscurity Electrical and Electronic Engineering Communications protocol business Law computer |
| Zdroj: | IEEE Security & Privacy. 13:24-31 |
| ISSN: | 1540-7993 |
| DOI: | 10.1109/msp.2013.162 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|