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)

Armando, Alessandro, Lowe, Gavin / Springer 2010
194 pp., Paperback, brand new! still in shrink wrap. Volumes Included: 1

ISBN: 3642160735
Subject/Keywords: Computer fbf

Item #: 1252271

$25.79

Add To Cart