Strand Spaces: Proving Security Protocols Correct (1999)
by
F. Javier Thayer Fabrega
,
F. Javier
,
Jonathan C. Herzog
,
Joshua D. Guttman
| Citations: | 80 - 6 self |







