Strand Spaces: Why is a Security Protocol Correct?

F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman

Browse the full SP paper archive.