05948070

a

05948070 Miner More, Sara Naumov, Pavel The functional dependence relation on hypergraphs of secrets. Leite, Jo\~ao (ed.) et al., Computational logic in multi-agent systems. 12th international workshop, CLIMA XII, Barcelona, Spain, July 17--18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22358-7/pbk). Lecture Notes in Computer Science 6814. Lecture Notes in Artificial Intelligence, 29-40 (2011). 2011 Berlin: Springer EN

doi:10.1007/978-3-642-22359-4_3

Summary: 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. In previous work, the authors investigated properties of interdependencies that are expressible through a multi-argument relation called independence, which is a generalization of a binary relation also known as nondeducibility. This work studies properties expressible through functional dependence. The main result is a complete and decidable logical system that describes interdependencies on a fixed hypergraph.