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
Edición de la obra Foundations and Applications of Security Analysis
| Autor | Pierpaolo Degano, Luca Viganò |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| ISBN-13 | 9783642034596 |
| Número de Cutter | D317f |