Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)
David Basin, Grit Denker, Jon Millen, and Gavin Lowe. Specification and Analysis of Secure Cryptographic Protocols (Dagstuhl Seminar 01391). Dagstuhl Seminar Report 321, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001)
@TechReport{basin_et_al:DagSemRep.321, author = {Basin, David and Denker, Grit and Millen, Jon and Lowe, Gavin}, title = {{Specification and Analysis of Secure Cryptographic Protocols (Dagstuhl Seminar 01391)}}, pages = {1--15}, ISSN = {1619-0203}, year = {2001}, type = {Dagstuhl Seminar Report}, number = {321}, institution = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.321}, URN = {urn:nbn:de:0030-drops-152055}, doi = {10.4230/DagSemRep.321}, }