The Austin Protocol Compiler

• Κύριοι συγγραφείς: McGuire, Tommy M. (Συγγραφέας), Gouda, Mohamed G. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2005.
• Σειρά: Advances in Information Security, 13
• Θέματα: 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...

Πίνακας περιεχομένων:

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