[{"item_id":"18124","item_name":"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 - Security and Cryptology 6186","item_brand":"Alessandro Armando, Gavin Lowe","item_category":"Language & Reference","list":null,"price":"38.49","variant":"","quantity":1}]

Alessandro Armando

Showing 1 – 1 of 1 results

30% off!
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 - Security and Cryptology 6186
Alessandro Armando, Gavin Lowe
Paperback £38.49 ~~£54.99~~
Save £16.50

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 - Security and Cryptology 6186

Filter your search