Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano. Making Sense of Specifications: The Formalization of SET. In Bruce Christianson, Bruno Crispo, Michael Roe, editors, Security Protocols, 8th International Workshop, Cambridge, UK, April 3-5, 2000, Revised Papers. Volume 2133 of Lecture Notes in Computer Science, pages 74-81, Springer, 2000. [doi]
Abstract is missing.