Symmetry in Information Flow

Jeffrey Kane and Pavel Naumov

The article investigates information flow properties of symmetric multi-party protocols. It gives a sound and complete axiomatic system for properties of the functional dependence predicate that are common to all protocols with the same group of symmetries. [pdf]