Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers
- Author
- Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 2011
- Page
- 185
- ISBN
- 978-3-642-16073-8,978-3-642-16074-5
- File Type
- pdf
- File Size
- 2.5 MiB
How to Download?!!!
Just click on START button on Telegram Bot