Midpoint Synthesis

Main content

The mid-point construction framework synthesizes a formal model for a mid-point that enforces a two-party asynchronous protocol. The framework takes as an input the formal specifications of the protocol and the environment, given in the muCRL process algebraic language, and outputs a specification for a mid-point enforcing the protocol. The framework is presented in the OPODIS'11 paper "Constructing Mid-points for Two-party Asynchronous Protocols" by Petar Tsankov,  Mohammad Torabi Dashti, and David Basin.


Petar Tsankov, Mohammad Torabi Dashti, and David Basin


Page URL: http://www.infsec.ethz.ch/research/software/mid-point.html
Tue Jun 27 14:15:24 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich