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.
Lecture Notes in Computer Science 6186 Springer 2011, 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 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
- Andrea Falcone, Riccardo Focardi:
Formal Analysis of Key Integrity in PKCS#11.
77-94
- 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
- Matteo Centenaro, Riccardo Focardi:
Match It or Die: Proving Integrity by Equality.
130-145
- Ben Smyth, Mark Ryan, Steve Kremer, Mounira Kourjieh:
Towards Automatic Analysis of Election Verifiability Properties.
146-163
- Michele Bugliesi, Paolo Modesti:
AnBx - Security Protocols Design and Verification.
164-184
Last update Fri May 25 08:22:09 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
