Formal models and techniques for analyzing security protocols
Edición de la obra Formal models and techniques for analyzing security protocols
| Autor | Véronique Cortier, Steve Kremer |
|---|---|
| Editorial | IOS Press |
| Fecha de publicación | 2011 |
| Lugar | Amsterdam, Washington, DC |
| Idioma | inglés |
| Páginas | 303 |
| ISBN-13 | 9781607507130, 9781607507147 |
| ISBN-10 | 1607507137, 1607507145 |
| OCLC | 705518947 |
| LCCN | 2011923591 |