M | |
---|---|
[MS02] | Paolo Maggi and
Riccardo Sisto.
Using SPIN to verify security properties of
cryptographic protocols.
In SPIN'02,
Lecture Notes in Computer Science 2318, pages 187-204. Springer-Verlag, April 2002.
|
Search
Displayed 1 resultList of authors
- 1
- 1