Static validation of security protocols

2005121 citationsJournal Article

Authors

Mikael Buchholtz · Technical University of Denmark

Flemming Nielson · Technical University of Denmark

Hanne Riis Nielson · Technical University of Denmark

Abstract

We methodically expand protocol narrations into terms of a process algebra in order to specify some of the checks that need to be made in a protocol. We then apply static analysis technology to develop an automatic validation procedure for protocols.

Topics & Keywords

User Authentication and Security Systems Advanced Authentication Protocols Security Security and Verification in Computing

Publication Details

Published in: Journal of Computer Security

Volume 13, Issue 3, pp. 347-390

DOI: 10.3233/jcs-2005-13302

Field-Weighted Citation Impact: 36.24

Command Palette

Static validation of security protocols

Authors

Abstract

Topics & Keywords

Publication Details