Dependent Information Flow Types

@inproceedings{Loureno2015DependentIF,
  title={Dependent Information Flow Types},
  author={Lu{\'i}sa Lourenço and Lu{\'i}s Caires},
  booktitle={POPL},
  year={2015}
}

• Luísa Lourenço, Luís Caires
• Published 2015 in POPL
• DOI:10.1145/2676726.2676994

In this paper, we develop a novel notion of dependent information flow types. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on… CONTINUE READING

Save to Library

Create Alert

Cite

View on ACM