@book{37a3251432484f2a93b9d7255b2081c5,
title = "Theory of Security and Applications: Joint Workshop, TOSCA 2011 Saarbr{\"u}cken, Germany, March 31 - April 1, 2011 Revised Selected Papers",
editor = "M{\"o}dersheim, {Sebastian Alexander} and Catuscia Palamidessi",
year = "2012",
doi = "10.1007/978-3-642-27375-9",
language = "English",
isbn = "978-3-642-27374-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
note = "Joint Workshop on Theory of Security and Applications, TOSCA'11 ; Conference date: 31-03-2011 Through 01-04-2011",
}