| Title | : | Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security |
|---|---|---|
| Author | : | Alessandro Armando & Gavin Lowe |
| Release | : | 2010-10-05 |
| Kind | : | ebook |
| Genre | : | Computers, Books, Computers & Internet, Programming, Software |
| Size | : | 8565566 |
| 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. |
