Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

Författare
Alessandro. Armando
(Edited by Alessandro Armando, Gavin Lowe.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 2011 Tyskland, Berlin, Heidelberg 978-3-642-16074-5