@book{36070,
	author = {Bella, Giampaolo},
	title = {Formal correctness of security protocols /},
	publisher = {Springer,},
	year = {2007},
	address = {New York :}
}