This is the metadata for the paper in BibTeX format.
@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"
	}



Home
Creative Commons License 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.