Automatic Validation of Protocol Narration |
Chiara Bodei, Mikael Buchholtz, Pierpablo Degano, Flemming Nielson, Hanne Riis Nielson
|
| Abstract | We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. We then apply static analysis technology to develop an automatic validation procedure for protocols. Finally, we demonstrate that these techniques suffice for identifying a number of authentication flaws in symmetric key protocols such as Needham-Schroeder, Otway-Rees, Yahalom and Andrew Secure RPC. |
| Type | Conference paper [With referee] |
| Conference | Proceedings of the 16th Computer Security Foundations Workshop (CSFW 03). |
| Year | 2003 pp. 126-140 |
| Publisher | IEEE Computer Society Press |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |