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

Pierpaolo Degano Luca Viganò 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 ARSPA-WITS 5511 2009 http://dx.doi.org/10.1007/978-3-642-03459-6 978-3-642-03458-9 Lecture Notes in Computer Science Springer db/conf/ifip1-7/wits2009.html