The Austin Protocol Compiler

• Main Authors: McGuire, Tommy M. (Author), Gouda, Mohamed G. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2005.
• Series: Advances in Information Security, 13
• Subjects: Computer science.; Input-output equipment (Computers).; Computer organization.; Computer communication systems.; Data structures (Computer science).; Computers.; Computer Science.; Computer Communication Networks.; Information Systems and Communication Service.; Information Systems Applications (incl. Internet).; Data Structures, Cryptology and Information Theory.; Input/Output and Data Communications.; Computer Systems Organization and Communication Networks.

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

Table of Contents:

• Network Protocols
• The Timed Abstract Protocol Notation
• Execution Models of Network Protocols
• Equivalence of Execution Models
• Preserving Fairness
• The Austin Protocol Compiler
• Two Examples
• A DNS Server
• Concluding Remarks.