The Austin Protocol Compiler (Advances in Information Security #13) (Hardcover)

The Austin Protocol Compiler (Advances in Information Security #13) By Tommy M. McGuire, Mohamed G. Gouda Cover Image
Add to Wish List
Usually arrives at our store within 4-7 days


A number of issues combine to make network protocol development significantly more difficult than other areas of computer programming. The combination of the Timed Abstract Protocol notation and the Austin Protocol Compiler detailed in this book addresses the issues of network protocol development by allowing precise and verifiable descriptions of protocols which can be made easily executable. The authors demonstrate alternative ways of developing a network protocol, discussing security protocols, implementing security protocols, abstract protocols, and protocol correctness. The Austin Protocol Compiler is an ideal source for a professional audience composed of protocol designers, verifiers, reviewers and implementers.

Product Details
ISBN: 9780387232270
ISBN-10: 0387232273
Publisher: Springer
Publication Date: November 19th, 2004
Pages: 141
Language: English
Series: Advances in Information Security