Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
| Author | : Alessandro Armando |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 193 |
| Release | : 2010-10-08 |
| ISBN-10 | : 9783642160738 |
| ISBN-13 | : 3642160735 |
| Rating | : 4/5 (735 Downloads) |
Book Synopsis Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security by : Alessandro Armando
Download or read book Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security 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. 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.
