@book{6af22cc16c8c4b2e8a3b8b6d057dfd9c,
title = "Formal aspects of security and trust : 7th international workshop, FAST 2010 Pisa, Italy, September 16-17, 2010: revised selected papers",
keywords = "METIS-277607, IR-76675, EWI-20068",
author = "Joshua Guttman",
editor = "Pierpaolo Degano and Sandro Etalle",
note = "10.1007/978-3-642-19751-2 ",
year = "2010",
month = sep,
day = "16",
doi = "10.1007/978-3-642-19751-2",
language = "Undefined",
isbn = "978-3-642-19751-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
address = "Germany",
}