The Austin Protocol Compiler - Couverture rigide

McGuire, Tommy M.; Gouda, Mohamed G.

Couverture rigide

ISBN 10 : 0387232273 ISBN 13 : 9780387232270

Editeur : Springer-Verlag New York Inc., 2004

Synopsis

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.

Détails de l'édition

• Éditeur: Springer-Verlag New York Inc.
• Date d'édition: 2004
• Langue: anglais
• ISBN 10: 0387232273
• ISBN 13: 9780387232270
• Reliure: Relié
• Nombre de pages: 141
• Coordonnées du fabricant: non disponible
• Personne responsable: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Allemagne