Skip to Main content Skip to Navigation
Directions of work or proceedings

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

Sebastian Mödersheim 1 Catuscia Palamidessi 2 
2 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Complete list of metadata

https://hal.inria.fr/hal-00778535
Contributor : Catuscia Palamidessi Connect in order to contact the contributor
Submitted on : Monday, January 21, 2013 - 12:20:12 AM
Last modification on : Thursday, January 20, 2022 - 4:16:00 PM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

220