Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Secure Information Flow as a Safety Problem Tachio Terauchi1
 

Summary: Secure Information Flow as a Safety Problem
Tachio Terauchi1
and Alex Aiken2
1
EECS Department, University of California, Berkeley
2
Computer Science Department, Stanford University
Abstract. The termination insensitive secure information flow problem
can be reduced to solving a safety problem via a simple program transfor-
mation. 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 makes use of more traditional type-based approaches.
The result is a framework that combines the best of both worlds, i.e.,
better than traditional type-based approaches and better than the self-
compositional approach.
1 Introduction
A termination insensitive secure information flow problem can be defined as

  

Source: Aiken, Alex - Department of Computer Science, Stanford University

 

Collections: Computer Technologies and Information Sciences