Sebastian Mödersheim, Catuscia Palamidessi. Proceedings of the Joint Workshop on Theory of Security and Applications (TOSCA). Sebastian Mödersheim and Catuscia Palamidessi. 6993, Springer, pp.224, 2012, Lecture Notes in Computer Science, 978-3-642-27374-2.
〈10.1007/978-3-642-27375-9〉.
〈hal-00778535〉 
