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

Tommy M. McGuire, Mohamed G. Gouda

$109.99

Publication Date: November 19th, 2004

Publisher:

Springer

ISBN:

9780387232270

Pages:

141

Usually Ships in 1 to 5 Days

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.

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

Description

Other Books in Series

Secure Public Key Infrastructure: Standards, PGP and Beyond

Network Security Empowered by Artificial Intelligence (Advances in Information Security #107)

Physical Layer Security in Power Line Communications: Fundamentals, Models and Applications (Advances in Information Security #108)

Security and Risk Analysis for Intelligent Edge Computing (Advances in Information Security #103)

Electronic Healthcare Information Security (Advances in Information Security #53)

Information Hiding: Steganography and Watermarking-Attacks and Countermeasures: Steganography and Watermarking - Attacks and Countermeasures (Advances in Information Security #1)

Iris Biometrics: From Segmentation to Template Security (Advances in Information Security #59)

Cyber Situational Awareness: Issues and Research (Advances in Information Security #46)

Cryptography Arithmetic: Algorithms and Hardware Architectures (Advances in Information Security #77)

Multivariate Public Key Cryptosystems (Advances in Information Security #80)

Cyber Deception: Techniques, Strategies, and Human Aspects (Advances in Information Security #89)

Cross-Layer Design for Secure and Resilient Cyber-Physical Systems: A Decision and Game Theoretic Approach (Advances in Information Security #81)

Wireless Sensor Networks: Security, Coverage, and Localization

Insider Attack and Cyber Security: Beyond the Hacker (Advances in Information Security #39)

Intrusion Detection Systems (Advances in Information Security #38)

Vulnerability Analysis and Defense for the Internet (Advances in Information Security #37)

Botnet Detection: Countering the Largest Security Threat (Advances in Information Security #36)

Economics of Information Security (Advances in Information Security #12)

Insider Attack and Cyber Security: Beyond the Hacker (Advances in Information Security #39)

Cyber Situational Awareness: Issues and Research (Advances in Information Security #46)