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...

Celý popis

Podrobná bibliografie

Hlavní autor:	McGuire, Tommy M (Autor)
Další autoři:	Gouda, Mohamed G (Autor)
Korporace:	SpringerLink (online služba) (Distributor)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	New York, NY : Springer US : 2005
Edice:	Advances in Information Security, 13
Žánr/forma:	elektronické knihy
ISBN:	9780387232287
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!