Items related to Automated Reasoning for Security Protocol Analysis...
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, ... (Lecture Notes in Computer Science, 6186) - Softcover
Synopsis
Oxford University, UK (Co-chair) Catherine Meadows Naval Research Laboratory, USA John Mitchell Stanford University, USA
"synopsis" may belong to another edition of this title.
Search results for Automated Reasoning for Security Protocol Analysis...
Stock Image
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, . (Lecture Notes in Computer Science, 6186)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. *Price HAS BEEN REDUCED by 10% until Monday, Aug. 10 (SALE item)* 194 pp., Paperback, brand new! still in shrink wrap. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1252271