The University of Southampton
University of Southampton Institutional Repository

Hypergraphs of multiparty secrets

Hypergraphs of multiparty secrets
Hypergraphs of multiparty secrets
The paper considers interdependencies between secrets in a multiparty system. Each secret is assumed to be known only to a certain fixed set of parties. These sets can be viewed as edges of a hypergraph whose vertices are the parties of the system. The main result is a complete and decidable logical system that describes interdependencies that may exist on a fixed hypergraph. The properties of interdependencies are defined through a multi-argument relation called independence, which is a generalization of a binary relation also known as nondeducibility.
0302-9743
15-32
Springer
Miner More, Sara
beaf43e1-66cd-4f05-a95a-3136738051fe
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0
Miner More, Sara
beaf43e1-66cd-4f05-a95a-3136738051fe
Naumov, Pavel
8b6c40fb-b199-44d5-a8e2-0ebd021566b0

Miner More, Sara and Naumov, Pavel (2010) Hypergraphs of multiparty secrets. In Computational Logic in Multi-Agent Systems - 11th International Workshop, CLIMA XI, Proceedings. vol. 6245 LNAI, Springer. pp. 15-32 . (doi:10.1007/978-3-642-14977-1_5).

Record type: Conference or Workshop Item (Paper)

Abstract

The paper considers interdependencies between secrets in a multiparty system. Each secret is assumed to be known only to a certain fixed set of parties. These sets can be viewed as edges of a hypergraph whose vertices are the parties of the system. The main result is a complete and decidable logical system that describes interdependencies that may exist on a fixed hypergraph. The properties of interdependencies are defined through a multi-argument relation called independence, which is a generalization of a binary relation also known as nondeducibility.

This record has no associated files available for download.

More information

Published date: 17 August 2010
Venue - Dates: 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XI, , Lisbon, Portugal, 2010-08-16 - 2010-08-17

Identifiers

Local EPrints ID: 475993
URI: http://eprints.soton.ac.uk/id/eprint/475993
ISSN: 0302-9743
PURE UUID: 7163eb57-b9d5-4871-8403-5ba8f855c324
ORCID for Pavel Naumov: ORCID iD orcid.org/0000-0003-1687-045X

Catalogue record

Date deposited: 03 Apr 2023 16:55
Last modified: 17 Mar 2024 04:10

Export record

Altmetrics

Contributors

Author: Sara Miner More
Author: Pavel Naumov ORCID iD

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×