Skip to main content
SpringerLink
Log in

The Austin Protocol Compiler

  • Book
  • © 2005

Overview

Authors:
  1. Tommy M. McGuire

    1. The University of Texas at Austin, Austin, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Mohamed G. Gouda

    1. The University of Texas at Austin, Austin, USA

    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Presents alternative ways of developing a network protocol discussing security protocols, implementing security protocols, abstract protocols and protocol correctness
  • Includes supplementary material: sn.pub/extras

Part of the book series: Advances in Information Security (ADIS, volume 13)

  • 2684 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (9 chapters)

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Network Protocols

    Pages 1-14

  3. The Timed Abstract Protocol Notation

    Pages 15-29

  4. Execution Models of Network Protocols

    Pages 31-47

  5. Equivalence of Execution Models

    Pages 49-65

  6. Preserving Fairness

    Pages 67-69

  7. The Austin Protocol Compiler

    Pages 71-83

  8. Two Examples

    Pages 85-105

  9. A DNS Server

    Pages 107-123

  10. Concluding Remarks

    Pages 125-128

  11. Back Matter

    Pages 129-141
    Download chapter PDF
Back to top

Keywords

About this book

There are two groups of researchers who are interested in designing network protocols and who cannot (yet) effectively communicate with one another c- cerning these protocols. The first is the group of protocol verifiers, and the second is the group of protocol implementors. The main reason for the lack of effective communication between these two groups is that these groups use languages with quite different semantics to specify network protocols. On one hand, the protocol verifiers use specification languages whose semantics are abstract, coarse-grained, and with large atom- ity. Clearly, protocol specifications that are developed based on such semantics are easier to prove correct. On the other hand, the protocol implementors use specification languages whose semantics are concrete, fine-grained, and with small atomicity. Protocol specifications that are developed based on such - mantics are easier to implement using system programming languages such as C, C++, and Java. To help in closing this communication gap between the group of protocol verifiers and the group of protocol implementors, we present in this monograph a protocol specification language called the Timed Abstract Protocol (or TAP, for short) notation. This notation is greatly influenced by the Abstract Protocol Notation in the textbook Elements of Network Protocol Design, written by the second author, Mohamed G. Gouda. The TAP notation has two types of sem- tics: an abstract semantics that appeals to the protocol verifiers and a concrete semantics thatappeals to the protocol implementors group.

Authors and Affiliations

  • The University of Texas at Austin, Austin, USA

    Tommy M. McGuire, Mohamed G. Gouda

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation