Secure Information Flow as a Safety Problem

  title={Secure Information Flow as a Safety Problem},
  author={Tachio Terauchi and Alexander Aiken},
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined the term “self-composition” to describe this reduction. This paper generalizes the self-compositional approach with a form of information downgrading recently proposed by Li and Zdancewic. We also identify a problem with applying the self-compositional approach in practice, and we present a solution to this problem that… CONTINUE READING
Highly Influential
This paper has highly influenced a number of papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 267 citations. REVIEW CITATIONS

6 Figures & Tables



Citations per Year

267 Citations

Semantic Scholar estimates that this publication has 267 citations based on the available data.

See our FAQ for additional information.