Degano, Pierpaolo
[HerausgeberIn];
Etalle, Sandro
[Sonstige Person, Familie und Körperschaft];
Guttman, Joshua
[Sonstige Person, Familie und Körperschaft]
;
FAST 7 2010 Pisa
Formal aspects of security and trust
: 7th international Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 ; revised selected papers