Kane, Jeffrey and Naumov, Pavel (2014) Symmetry in information flow. Annals of Pure and Applied Logic, 165 (1), 253-265. (doi:10.1016/j.apal.2013.07.013).
Record type:
Article
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.
This record has no associated files available for download.
More information
Published date: 2 January 2014
Keywords:
Axiomatization, Completeness, Information flow, Symmetry
Identifiers
Local EPrints ID: 475880
URI: http://eprints.soton.ac.uk/id/eprint/475880
ISSN: 0168-0072
PURE UUID: c6a9a273-0a2c-4812-8178-c32aaf0753cb
Catalogue record
Date deposited: 29 Mar 2023 16:52
Last modified: 17 Mar 2024 04:10
Export record
Altmetrics
Contributors
Author:
Jeffrey Kane
Author:
Pavel Naumov
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.