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.
- formal methods
- network protocols
- protocol verification
ASJC Scopus subject areas
- Computer Networks and Communications
- Electrical and Electronic Engineering