Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Download or Read eBook Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security PDF written by Alessandro Armando and published by Springer Science & Business Media. This book was released on 2010-10-08 with total page 193 pages. Available in PDF, EPUB and Kindle.
| Author | : Alessandro Armando |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 193 |
| Release | : 2010-10-08 |
| ISBN-10 | : 9783642160738 |
| ISBN-13 | : 3642160735 |
| Rating | : 4/5 (38 Downloads) |
Book Synopsis Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security by : Alessandro Armando
Book excerpt: This book constitutes the proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security held in Paphos, Cyprus, in March 2010.
