Cargando…
Formal models and techniques for analyzing security protocols /
Security protocols are the small distributed programs which are omnipresent in our daily lives in areas such as online banking and commerce and mobile phones. Their purpose is to keep our transactions and personal data secure. Because these protocols are generally implemented on potentially insecure...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Da Washington, DC :
IOS Press,
©2011.
|
| Colección: | Cryptology and information security series ;
v. 5. |
| Temas: | |
| Acceso en línea: | Texto completo |
| Sumario: | Security protocols are the small distributed programs which are omnipresent in our daily lives in areas such as online banking and commerce and mobile phones. Their purpose is to keep our transactions and personal data secure. Because these protocols are generally implemented on potentially insecure networks like the internet, they are notoriously difficult to devise. The field of symbolic analysis of security protocols has seen significant advances during the last few years. There is now a better understanding of decidability and complexity questions and successful automated tools for the pro. |
|---|---|
| Descripción Física: | 1 online resource (vii, 303 pages) : illustrations |
| Bibliografía: | Includes bibliographical references and index. |
| ISBN: | 9781607507147 1607507145 1607507137 9781607507130 |