Secure Information Flow as a Safety Problem

@inproceedings{Terauchi2005SecureIF,
  title={Secure Information Flow as a Safety Problem},
  author={Tachio Terauchi and Alexander Aiken},
  booktitle={SAS},
  year={2005}
}
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

Topics

Statistics

02040'05'06'07'08'09'10'11'12'13'14'15'16'17'18
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.