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)
Get this book Contact Email: girro@qq.com
Hardcover: 185 pages
Publisher: Springer (October 8, 2010)
Language: English
ISBN-10: 3642160735

代发服务PDF电子书10立即求助
1111

未经允许不得转载:电子书百科大全 » Automated Reasoning for Security Protocol Analysis and