Cargando…
The Austin Protocol Compiler
-The Austin Protocol Compiler presents a protocol specification language called the Timed Abstract Protocol (TAP) notation. This book will finally close the communication gap between the protocol verifiers and the protocol implementers. The TAP notation uses two types of semantics: an abstract seman...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
New York, NY :
Springer US : Imprint: Springer,
2005.
|
| Edición: | 1st ed. 2005. |
| Colección: | Advances in Information Security,
13 |
| Temas: | |
| Acceso en línea: | Texto Completo |