| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4661965 | Annals of Pure and Applied Logic | 2014 | 13 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Jeffrey Kane, Pavel Naumov,