Options
Title
Foundations and applications of security analysis
Title Supplement
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
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
2009
Series
Lecture Notes in Computer Science; 5511
ISBN
3-642-03458-6
978-3-642-03458-9