Skip to main content
SpringerLink
Log in

Independence in Information Spaces

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Three different types of interdependence between pieces of information, or “secrets”, are discussed and compared. Two of them, functional dependence and nondeducibility, have been studied and axiomatized before. This article introduces a third type of interdependence and provides a complete and decidable axiomatization of this new relation.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Armstrong, W. W., Dependency structures of data base relationships. In Information processing 74 (Proc. IFIP Congress, Stockholm, 1974). North-Holland, Amsterdam, 1974, pp. 580–583.

  2. Beeri, Catriel, Ronald Fagin, and John H. Howard, A complete axiomatization for functional and multivalued dependencies in database relations. In SIGMOD ’77: Proceedings of the 1977 ACM SIGMOD international conference on Management of data, New York, NY, USA, 1977, pp. 47–61. ACM.

  3. Donders, Michael S., Sara Miner More, and Pavel Naumov, Information flow on directed acyclic graphs. In L. D. Beklemishev and R. de Queiroz (eds.), WoLLIC, volume 6642 of Lecture Notes in Computer Science, Springer, 2011, pp. 95–109.

  4. Garcia-Molina, Hector, Jeffrey Ullman, and Jennifer Widom, Database Systems: The Complete Book. Prentice-Hall, second edition, 2009.

  5. Geiger , Dan , Azaria Paz, Judea Pearl: Axioms and algorithms for inferences involving probabilistic independence. Inform. and Comput. 91(1), 128–141 (1991)

    Article  Google Scholar 

  6. Halpern , Joseph Y., Kevin R. O’Neill: Secrecy in multiagent systems. ACM Trans. Inf. Syst. Secur. 12(1), 1–47 (2008)

    Article  Google Scholar 

  7. Kelvey, Robert, Sara Miner More, Pavel Naumov, and Benjamin Sapp, Independence and functional dependence relations on secrets. In Proceedings of 12th International Conference on the Principles of Knowledge Representation and Reasoning (Toronto, 2010). AAAI, 2010, pp. 528–533.

  8. Miner More, Sara, and Pavel Naumov, An independence relation for sets of secrets. In H. Ono, M. Kanazawa, and R. de Queiroz (eds.), Proceedings of 16th Workshop on Logic, Language, Information and Computation (Tokyo, 2009), LNAI 5514 Springer, 2009, pp. 296–304.

  9. Miner More, Sara, and Pavel Naumov, On interdependence of secrets in collaboration networks. In Proceedings of 12th Conference on Theoretical Aspects of Rationality and Knowledge (Stanford University, 2009), 2009, pp. 208–217.

  10. Miner More, Sara , Pavel Naumov: An independence relation for sets of secrets. Studia Logica 94(1), 73–85 (2010)

    Article  Google Scholar 

  11. Miner More, Sara , Pavel Naumov: Hypergraphs of multiparty secrets. Ann. Math. Artif. Intell. 62(1-2), 79–101 (2011)

    Article  Google Scholar 

  12. Miner More, Sara , Pavel Naumov: Logic of secrets in collaboration networks. Ann. Pure Appl. Logic 162(12), 959–969 (2011)

    Article  Google Scholar 

  13. Miner More, Sara, Pavel Naumov, and Benjamin Sapp, Concurrency semantics for the Geiger-Paz-Pearl axioms of independence. In M. Bezem (ed.), Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings, volume 12 of LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011, pp. 443–457.

  14. Naumov, Pavel, and Brittany Nicholls, Game semantics for the Geiger-Paz- Pearl axioms of independence. In The Third International Workshop on Logic, Rationality and Interaction(LORI-III), LNAI 6953, Springer, 2011, pp. 220–232.

  15. Sutherland, David, A model of information. In Proceedings of Ninth National Computer Security Conference, 1986, pp. 175–183.

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science Westminster, McDaniel College, Maryland, the United States

    Pavel Naumov

Authors
  1. Pavel Naumov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Pavel Naumov.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Naumov, P. Independence in Information Spaces. Stud Logica 100, 953–973 (2012). https://doi.org/10.1007/s11225-012-9435-6

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-012-9435-6

Keywords

Search

Navigation