Alessandro Armando (EDT), Gavin Lowe (EDT) 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

Price for Eshop: 1549 Kč (€ 62.0)

VAT 0% included

Condition: New

Availability: E-book delivered electronically online

E-Book information

Publisher: Springer Berlin Heidelberg

Date: 2010

EAN/ISBN13: 978-3-642-16074-5

ISBN10: 3-642-16074-3

You can ask us about this book and we'll send an answer to your e-mail.