Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, ... Notes in Computer Science, Band 6186)
von:
Alessandro Armando
· Gavin Lowe
Taschenbuch
Details (
Deutschland
)
ISBN-13: 978-3-642-16073-8
ISBN-10: 3-642-16073-5
Springer
· 2010
