• Stefanos Gritzalis and Diomidis Spinellis. Cryptographic protocols over open distributed systems: A taxonomy of flaws and related protocol analysis tools. In Peter Daniel, editor, 16th International Conference on Computer Safety, Reliability and Security: SAFECOMP '97, pages 123–137, Berlin, September 1997. European Workshop on Industrial Computer Systems: TC-7, Springer Verlag. (doi:10.1007/978-1-4471-0997-6_10)

@InProceedings{GS97b,
	Title="Cryptographic Protocols over Open Distributed Systems: A Taxonomy of Flaws and Related Protocol Analysis Tools",
	Author="Stefanos Gritzalis and Diomidis Spinellis",
	Booktitle="16th International Conference on Computer Safety, Reliability and Security: {SAFECOMP} '97",
	Editor="Peter Daniel",
	Address="Berlin",
	Publisher="Springer Verlag",
	Organization="European Workshop on Industrial Computer Systems: {TC}-7",
	Pages="123--137",
	Location="York, UK",
	DOI="10.1007/978-1-4471-0997-6_10",
	Month=sep,
	Year="1997",
	tags="itsec",
	URL=    "http://www.spinellis.gr/pubs/conf/1997-SafeComp-Formal/html/doc.html"
	}

Unless otherwise expressly stated, all original material on this page created by Diomidis Spinellis is licensed under a Creative Commons Attribution-Share Alike 3.0 Greece License.