@book{49448,
	author = {NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness and Grumberg, Orna},
	title = {Formal logical methods for system security and correctness /},
	publisher = {IOS Press,},
	year = {c2008},
	series = {NATO security through science series.  D,  Information and communication security ;},
	address = {Amsterdam, Netherlands ;},
	note = {"Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso}
}