Recomienda este artículo a tus amigos:
The Austin Protocol Compiler - Advances in Information Security Mcguire, Tommy M. (University of Texas at Austin) 2005 edition
The Austin Protocol Compiler - Advances in Information Security
Mcguire, Tommy M. (University of Texas at Austin)
The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. This book illustrates that two types of semantics of TAP are equivalent.
141 pages, biography
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 19 de noviembre de 2004 |
| ISBN13 | 9780387232270 |
| Editores | Springer-Verlag New York Inc. |
| Páginas | 141 |
| Dimensiones | 156 × 234 × 11 mm · 394 g |
| Lengua | Inglés |