Tommy M McGuire

(Author)

The Austin Protocol CompilerPaperback, 29 November 2010

The Austin Protocol Compiler
Qty
1
Turbo
Ships in 2 - 3 days
In Stock
Free Delivery
Cash on Delivery
15 Days
Free Returns
Secure Checkout
Buy More, Save More
Turbo Shipping
Part of Series
Advances in Information Security
Print Length
141 pages
Language
English
Publisher
Springer
Date Published
29 Nov 2010
ISBN-10
1441935886
ISBN-13
9781441935885

Description

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

Authors:
Tommy M McGuireMohamed G Gouda
Book Format:
Paperback
Country of Origin:
NL
Date Published:
29 November 2010
Dimensions:
23.39 x 15.6 x 0.84 cm
ISBN-10:
1441935886
ISBN-13:
9781441935885
Language:
English
Location:
New York, NY
Pages:
141
Publisher:
Weight:
226.8 gm

Related Categories


Need Help?
+971 6 731 0280
support@gzb.ae

About UsContact UsPayment MethodsFAQsShipping PolicyRefund and ReturnTerms of UsePrivacy PolicyCookie Notice

VisaMastercardCash on Delivery

© 2024 White Lion General Trading LLC. All rights reserved.