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
Armando, Alessandro (Editor)
Sold by Revaluation Books, Exeter, United Kingdom
AbeBooks Seller since January 6, 2003
New - Soft cover
Condition: New
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Add to basket