The Austin Protocol Compiler: 13 (Advances in Information Security, 13) - Image 1

£84.99

Springer The Austin Protocol Compiler: 13 (Advances in Information Security, 13)

Name: The Austin Protocol Compiler: 13 (Advances in Information Security, 13)
Brand: Springer
Price: 84.99 GBP
Availability: InStock

Information Systems

Price History & Forecast

Last 68 days • 68 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 68 days • 1 price levels

Days at Price

Price Analysis

Most common price: £85 (68 days, 100.0%)

Price range: £85 - £85

Price levels: 1 different prices over 68 days

Description

There are two groups of researchers who are interested in designing network protocols and who cannot (yet) effectively communicate with one another c- cerning these protocols. The first is the group of protocol verifiers, and the second is the group of protocol implementors. The main reason for the lack of effective communication between these two groups is that these groups use languages with quite different semantics to specify network protocols. On one hand, the protocol verifiers use specification languages whose semantics are abstract, coarse-grained, and with large atom- ity. Clearly, protocol specifications that are developed based on such semantics are easier to prove correct. On the other hand, the protocol implementors use specification languages whose semantics are concrete, fine-grained, and with small atomicity. Protocol specifications that are developed based on such - mantics are easier to implement using system programming languages such as C, C++, and Java. To help in closing this communication gap between the group of protocol verifiers and the group of protocol implementors, we present in this monograph a protocol specification language called the Timed Abstract Protocol (or TAP, for short) notation. This notation is greatly influenced by the Abstract Protocol Notation in the textbook Elements of Network Protocol Design, written by the second author, Mohamed G. Gouda. The TAP notation has two types of sem- tics: an abstract semantics that appeals to the protocol verifiers and a concrete semantics thatappeals to the protocol implementors group.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 1441935886
Category: Books > Subjects > Computing & Internet > Computer Science > Information Systems
Domain: Amazon UK
Release Date: 29 November 2010
Listed Since: 06 July 2010

Barcode

No barcode data available

Springer The Austin Protocol Compiler: 13 (Advances in Information Security, 13)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Communication Protocol Specification and Verification: 464 (The Springer International Series in Engineering and Computer Science, 464)

Universal Semantic Communication

Funktionelle Analyse von Kommunikationsprotokollen: 247 (Informatik-Fachberichte, 247)

Communication Protocols: Principles, Methods and Specifications

Principles of Protocol Design

The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks (Symbolic Computation)

Springer - Logics of Specification Languages Monograph

TCP/IP Illustrated: The Protocols, Volume 1 (Addison-Wesley Professional Computing Series)

Language Computability and Formal Language Theory

Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, ... and Communication Technology, 173)

Advances in Security, Networks, and Internet of Things: Proceedings from SAM'20, ICWN'20, ICOMP'20, and ESCS'20 (Transactions on Computational Science and Computational Intelligence)

Programming Language Implementation: A Practical Introduction with Python

Modeling Communication Networks and Protocols: Implementation via the SMURPH System: 61 (Lecture Notes in Networks and Systems, 61)

The Verilog Hardware Description Language

Software Defined Networking for Ad Hoc Networks (EAI/Springer Innovations in Communication and Computing)

Software Defined Networking for Ad Hoc Networks (EAI/Springer Innovations in Communication and Computing)

Network Control and Engineering for QoS, Security and Mobility, V: IFIP 19th World Computer Congress,TC-6, 5th IFIP International Conference on ... and Communication Technology, 213)

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Language Server Protocol and Implementation: Supporting Language-Smart Editing and Programming Tools

Springer Programming Language Design and Implementation Book

Communication System Security (Chapman & Hall/CRC Cryptography and Network Security Series)

Springer Internet Protocols: Advances, Technologies and Applications

Elements of Network Protocol Design

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings