ARSPA-WITS 2010: Paphos, Cyprus
Alessandro Armando, Gavin Lowe (Eds.): Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers. Springer 2011 Lecture Notes in Computer Science ISBN 978-3-642-16073-8- Flemming Nielson, Han Gao, Hanne Riis Nielson: The CaPiTo Approach to Protocol Validation - (Invited Talk). 1
- Aaron D. Jaggard, Catherine Meadows, Michael W. Mislove, Roberto Segala: Reasoning about Probabilistic Security Using Task-PIOAs. 2-22
- Michele Bugliesi, Stefano Calzavara, Damiano Macedonio: Secrecy and Authenticity Types for Secure Distributed Messaging. 23-40
- Gabriele Costa, Pierpaolo Degano, Fabio Martinelli: Modular Plans for Secure Service Composition. 41-58
- Mário Pires, Luís Caires: A Type System for Access Control Views in Object-Oriented Languages. 59-76
- Riccardo Focardi, Flaminia L. Luccio: Secure Upgrade of Hardware Security Modules in Bank Networks. 95-110
- Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés: Interactive Information Flow - (Invited Talk). 111
- Trajce Dimkov, Wolter Pieters, Pieter H. Hartel: Portunes: Representing Attack Scenarios Spanning through the Physical, Digital and Social Domain. 112-129
- Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh: Towards Automatic Analysis of Election Verifiability Properties. 146-163
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-17T203624 by the dblp team