ARSPA-WITS 2009:
York, UK
Pierpaolo Degano, Luca Viganò (Eds.):
Foundations and Applications of Security Analysis, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers.
Lecture Notes in Computer Science 5511 Springer 2009, ISBN 978-3-642-03458-9 
- Adedayo Adetoye, Atta Badii:
A Policy Model for Secure Information Flow.
1-17
- Alessandro Aldini, Marco Bernardo:
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference.
18-33
- Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna:
Validating Security Protocols under the General Attacker.
34-51
- Massimo Bartoletti:
Usage Automata.
52-69
- Chiara Bodei, Linda Brodo, Roberto Bruni:
Static Detection of Logic Flaws in Service-Oriented Applications.
70-87
- Niklas Broberg, David Sands:
Improving the Semantics of Imperfect Security.
88-91
- Sibylle B. Fröschle, Graham Steel:
Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data.
92-106
- Joshua D. Guttman:
Transformations between Cryptographic Protocols.
107-123
- Jorge L. Hernandez-Ardieta, Ana Isabel González-Tablas Ferreres, Benjamín Ramos:
Formal Validation of OFEPSP+ with AVISPA.
124-137
- Dieter Hutter, Raul Monroy:
On the Automated Correction of Protocols with Improper Message Encoding.
138-154
- Jan Jürjens, Tjark Weber:
Finite Models in FOL-Based Crypto-Protocol Verification.
155-172
- Gavin Keighren, David Aspinall, Graham Steel:
Towards a Type System for Security APIs.
173-192
- Laurent Mazaré, Bogdan Warinschi:
Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption.
193-210
- Peter Y. A. Ryan:
How Many Election Officials Does It Take to Change an Election?
211-221
Last update Sat May 18 18:56:20 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
