dblp.uni-trier.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

Copyright © Tue Nov 24 19:18:12 2009 by Michael Ley (ley@uni-trier.de)