Using SPIN to Verify Security Properties of Cryptographic Protocols (2002)
by
Paolo Maggi
,
Riccardo Sisto
| Venue: | In LNCS |
| Citations: | 10 - 0 self |
BibTeX
@INPROCEEDINGS{Maggi02usingspin,
author = {Paolo Maggi and Riccardo Sisto},
title = {Using SPIN to Verify Security Properties of Cryptographic Protocols},
booktitle = {In LNCS},
year = {2002},
pages = {187--204},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper explores the use of Spin for the verification of cryptographic protocol security properties. A general method is proposed to build a Promela model of the protocol and of the intruder capabilities.
