Metadata in BibTeX Format

This is the metadata for the paper

Stefanos Gritzalis, Diomidis Spinellis, and Panagiotis Georgiadis. Security protocols over open networks and distributed systems: Formal methods for their analysis, design, and verification. Computer Communications, 22(8):695–707, May 1999. (doi:10.1016/S0140-3664(99)00030-4)

in BibTeX format.

@Article{GSG99,
	Title="Security Protocols Over Open Networks and Distributed Systems: Formal Methods for their Analysis, Design, and Verification",
	Author="Stefanos Gritzalis and Diomidis Spinellis and Panagiotis Georgiadis",
	Journal="Computer Communications",
	ISSN="0140-3664",
	Year="1999",
	Volume=22,
	Number=8,
	Pages="695--707",
	Month=may,
	DOI="10.1016/S0140-3664(99)00030-4",
	tags="itsec",
	URL=    "http://www.spinellis.gr/pubs/jrnl/1997-CompComm-Formal/html/formal.htm"
	}

Home

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.