Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security

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

Links

See Also

Back to Top