Tommy M McGuire

(Author)

The Austin Protocol Compiler (2005)Hardcover - 2005, 19 November 2004

The Austin Protocol Compiler (2005)
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
Part of Series
Advances in Information Security
Part of Series
Advances in Information Security Advances in Information Sec
Print Length
141 pages
Language
English
Publisher
Springer
Date Published
19 Nov 2004
ISBN-10
0387232273
ISBN-13
9780387232270

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 Edition:
2005
Book Format:
Hardcover
Country of Origin:
US
Date Published:
19 November 2004
Dimensions:
24.49 x 16.56 x 1.45 cm
ISBN-10:
0387232273
ISBN-13:
9780387232270
Language:
English
Location:
New York, NY
Pages:
141
Publisher:
Weight:
394.63 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.