Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [E-Book] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers / edited by Alessandro Armando, Gavin Lowe.
Armando, Alessandro.
Lowe, Gavin.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
online resource
Lecture notes in computer science ; 6186
Full Text
Description not available.