On interdependence of secrets in collaboration networks
On interdependence of secrets in collaboration networks
The paper proposes Logic of Secrets in Collaboration Networks, a formal logical system for reasoning about a set of secrets established over a fixed configuration of communication channels. The system's key feature, a multi-channel relation called independence, is a generalization of a two-channel relation known in the literature as nondeducibility. The main result is the completeness of the proposed system with respect to a semantics of secrets.
208-217
Association for Computing Machinery
More, Sara Miner
979b2749-1732-4a36-abda-64b4f6899ea9
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
2009
More, Sara Miner
979b2749-1732-4a36-abda-64b4f6899ea9
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
More, Sara Miner and Naumov, Pavel
(2009)
On interdependence of secrets in collaboration networks.
In Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, TARK '09.
Association for Computing Machinery.
.
(doi:10.1145/1562814.1562843).
Record type:
Conference or Workshop Item
(Paper)
Abstract
The paper proposes Logic of Secrets in Collaboration Networks, a formal logical system for reasoning about a set of secrets established over a fixed configuration of communication channels. The system's key feature, a multi-channel relation called independence, is a generalization of a two-channel relation known in the literature as nondeducibility. The main result is the completeness of the proposed system with respect to a semantics of secrets.
This record has no associated files available for download.
More information
Published date: 2009
Venue - Dates:
12th Conference on Theoretical Aspects of Rationality and Knowledge, TARK '09, , Pacific Grove, CA, United States, 2009-07-06 - 2009-07-08
Identifiers
Local EPrints ID: 476095
URI: http://eprints.soton.ac.uk/id/eprint/476095
PURE UUID: d6151652-8f84-4a7f-a658-2e2d1f6623df
Catalogue record
Date deposited: 12 Apr 2023 14:06
Last modified: 17 Mar 2024 04:10
Export record
Altmetrics
Contributors
Author:
Sara Miner More
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.
View more statistics