@article{Syverson2001, author = "Paul Syverson and Iliano Cervesato", title = "{The Logic of Authentication Protocols}", year = "2001", month = "1", url = "https://kilthub.cmu.edu/articles/journal_contribution/The_Logic_of_Authentication_Protocols/6610673", doi = "10.1184/R1/6610673.v1" }