Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers
- Author
- Adedayo O. Adetoye, Atta Badii (auth.), Pierpaolo Degano, Luca Viganò (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 2009
- Page
- 223
- ISBN
- 978-3-642-03458-9,978-3-642-03459-6
- File Type
- pdf
- File Size
- 3.8 MiB
How to Download?!!!
Just click on START button on Telegram Bot