Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Details
| Editor |
Alessandro Armando and Gavin Lowe |
| Number |
6186 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Year |
2010 |
Links
Related pages
|
People |