A Language For Information Flow:

Dynamic Tracking in Multiple Interdependent Dimensions

Avraham Shinnar, Marco Pistoia, and Anindya Banerjee.

Abstract

This paper presents λ_I, a language for dynamic tracking of information floww across multiple, interdependent dimensions of information. Typical dimensions of interest are in tegrity and confidentiality. λ_I supports arbitrary domain- specific policies that can be developed independently. λ_I treats information-flow metadata as a first-class entity and tracks information flow on the metadata itself (integrity on integrity, integrity on confidentiality, etc.). This paper also introduces IMPOLITE, a novel class of information-flow policies for λ_I. Unlike many systems, which only allow for absolute-security relations, IMPOLITE can model more realistic security policies based on relative- security relations. IMPOLITE demonstrates how policies on interdependent dimensions of information can be simultaneously enforced within λ_I's unified framework.

Full Paper

PDF

Citation

Bibtex Citation (Tech Report)

@inproceedings{shinnar_plas09,
  author =	 {Shinnar, Avraham and Pistoia, Marco and Banerjee,
                  Anindya},
  title =	 {A language for information flow: dynamic tracking in
                  multiple interdependent dimensions},
  booktitle =	 {PLAS '09: Proceedings of the ACM SIGPLAN Fourth
                  Workshop on Programming Languages and Analysis for
                  Security},
  year =	 2009,
  isbn =	 {978-1-60558-645-8},
  pages =	 {125--131},
  location =	 {Dublin, Ireland},
  doi =		 {http://doi.acm.org/10.1145/1554339.1554354},
  publisher =	 {ACM},
  address =	 {New York, NY, USA},
}

ACM Link

The ACM page has more information and more citation formats.

A Language For Information Flow:

Dynamic Tracking in Multiple Interdependent Dimensions

Avraham Shinnar, Marco Pistoia, and Anindya Banerjee.

Random Info