DMCA

Strand Spaces: Proving Security Protocols Correct (1999)

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