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

Springer

Publishing Place

Berlin

Publication Date

2009

Series

Lecture Notes in Computer Science; 5511

ISBN

3-642-03458-6

978-3-642-03458-9

Conference

Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS) 2009

Options

Foundations and applications of security analysis