dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Sat May 18 18:56:20 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page