@book{117169,
	author = {ebrary, Inc.},
	title = {Formal models and techniques for analyzing security protocols},
	publisher = {IOS Press,},
	year = {2011.},
	series = {Cryptology and information security series,},
	address = {Washington, D.C. :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10506344}
}