Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, .. Computer Science / Security and Cryptology)
Hardcover: 185 pages
Publisher: Springer (October 8, 2010)
Language: English
ISBN-10: 3642160735