Pierpaolo Degano Joshua D. Guttman

Titel	ISBN-13 (ISBN-10)	Erscheinungsjahr
Formal Aspects in Security and Trust	978-3-642-1246O-O (3-642-1246O-7)	2011