Theory of Security and Applications Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers - Moedersheim,Sebastian; Palamidessi,Catuscia (Lecture Notes in Computer Science / Security and Cryptology Ser.)