Improving the Security of Cryptographic Protocol Standards

David Basin, Cas Cremers, Kunihiko Miyazaki, Saša Radomirović, Dai Watanabe

Research output: Contribution to journalArticle

17 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 languageEnglish
Article number6701303
Pages (from-to)24-31
Number of pages8
JournalIEEE Security and Privacy
Volume13
Issue number3
DOIs
Publication statusPublished - May 2015

Keywords

  • formal methods
  • network protocols
  • protocol verification
  • security
  • standards

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Electrical and Electronic Engineering
  • Law

Fingerprint Dive into the research topics of 'Improving the Security of Cryptographic Protocol Standards'. Together they form a unique fingerprint.

  • Cite this