Skip to main content

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

Editor
Alessandro Armando and Gavin Lowe
Number
6186
Publisher
Springer
Series
Lecture Notes in Computer Science
Year
2010