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