Proceedings of the Joint Workshop on Theory of Security and Applications (TOSCA)

Sebastian Mödersheim (1) , Catuscia Palamidessi (2)

1 DTU - Department of Informatics and Mathematical Modeling [Lyngby]
2 COMETE - Concurrency, Mobility and Transactions

Domaines: Logique en informatique [cs.LO]; Cryptographie et sécurité [cs.CR]

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