A Theory of Protocol Composition

by   Laura Bocchi, et al.

Real-world communication protocols are often built out of a number of simpler protocols that cater for some specific functionality (e.g., banking, authentication). However much of the formal definitions of protocols used for program verification treat protocols as monolithic units. Composition is considered for implementations of a protocol, but not for the protocols themselves as engineering components. We propose primitives and techniques for the modular composition of protocols. Our notion of composition defines an interleaving of two or more protocols in a way that satisfies user-specified context-dependent constraints which serve to explain "contact points" between the protocols. The resulting approach gives a theoretical basis for protocol (re-)engineering based on a process calculus with constraint annotations. We have implemented our approach as a tool for Erlang that supports generation of protocol compositions with formal guarantees, and code generation/extraction.


page 1

page 2

page 3

page 4


A Generic Methodology for the Modular Verification of Security Protocol Implementations

Security protocols are essential building blocks of modern IT systems. S...

Formal Models of the OSPF Routing Protocol

We present three formal models of the OSPF routing protocol. The first t...

Semi-Automated Protocol Disambiguation and Code Generation

For decades, Internet protocols have been specified using natural langua...

Time-accurate Middleware for the Virtualization of Communication Protocols

Communication between devices in avionics systems must be predictable an...

Pippi: Practical Protocol Instantiation

A protocol specifies interactions between roles, which together constitu...

ComFlux: External Composition and Adaptation of Pervasive Applications

Technology is becoming increasingly pervasive. At present, the system co...

Snap-and-Chat Protocols: System Aspects

The availability-finality dilemma says that blockchain protocols cannot ...

Please sign up or login with your details

Forgot password? Click here to reset