Strand Spaces: Proving Security Protocols Correct (1999)

Cached

Download Links

by F. Javier Thayer Fabrega , Jonathan C. Herzog , Joshua D. Guttman
Citations:90 - 8 self