Sciweavers

KR
2010
Springer

Independence and Functional Dependence Relations on Secrets

13 years 5 months ago
Independence and Functional Dependence Relations on Secrets
We study logical principles connecting two relations: independence, which is known as nondeducibility in the study of information flow, and functional dependence. Two different epistemic interpretations for these relations are discussed: semantics of secrets and probabilistic semantics. A logical system sound and complete with respect to both of these semantics is introduced and is shown to be decidable.
Robert Kelvey, Sara Miner More, Pavel Naumov, Benj
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2010
Where KR
Authors Robert Kelvey, Sara Miner More, Pavel Naumov, Benjamin Sapp
Comments (0)