Independence and functional dependence relations on secrets
Robert Kelvey, Sara Miner More, Pavel Naumov, Benjamin Sapp · ePrints Soton (University of Southampton) · 2010
We study logical principles connecting two relations: inde-pendence, which is known as nondeducibility in the study of information flow, and functional dependence. Two different epistemic interpretations for these relations are discussed: se-mantics of secrets and probabilistic semantics. A logical sys-tem sound and complete with respect to both of these seman-tics is introduced and is shown to be decidable.