Automated Reasoning for Security Protocol Analysis and

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