The Austin Protocol Compiler

The Austin Protocol Compiler

by Tommy M. McGuire, Mohamed G. Gouda
     
 

View All Available Formats & Editions

-The Austin Prool Compiler presents a prool specification language called the Timed Abstract Prool (TAP) notation. This book will finally close the communication gap between the prool verifiers and the prool implementers.

The TAP notation uses two types of semantics: an abstract semantics that appeals to the prool verifiers and a concrete semantics which

Overview

-The Austin Prool Compiler presents a prool specification language called the Timed Abstract Prool (TAP) notation. This book will finally close the communication gap between the prool verifiers and the prool implementers.

The TAP notation uses two types of semantics: an abstract semantics that appeals to the prool verifiers and a concrete semantics which appeals to the prool implementers. The Austin Prool Compiler illustrates that the two types of semantics of TAP are equivalent. Thus, the correctness of TAP specification of some prool, that is established based on the abstract semantics of TAP, is maintained when this specification is implemented based on concrete semantics of TAP. The equivalence between the abstract and concrete semantics of TAP suggests the following three-step method for developing a correct implementation of a prool in this book:

1. Specify the prool using the TAP notation.

2. Verify the correctness of the specification based on the abstract semantics of TAP

3. Implement the specification based on the concrete semantics of TAP

For step 3, this book introduces the Austin Prool Compiler (APC) that takes as input, a TAP specification of some prool, and produces as output C-code that implements this prool based on the concrete semantics of TAP.

The Austin Prool Compiler is designed for a professional audience composed of prool designers, verifiers, reviewers and implementers. This volume is also suitable for graduate-level students in computer science and electrical engineering.

Product Details

ISBN-13:
9781441935885
Publisher:
Springer US
Publication date:
11/29/2010
Series:
Advances in Information Security Series , #13
Edition description:
Softcover reprint of hardcover 1st ed. 2005
Pages:
141
Product dimensions:
6.14(w) x 9.21(h) x 0.33(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >