Learn More
Formalizing appropriate information policies that authorize some controlled form of information release, and providing sound analyses for these policies is a necessary step towards practical applications of language-based security. We propose a modular method to enhance non-interference type systems to support controlled forms of information release that(More)
This paper deals with the problem of protect the confidentiality of data manipulated by sequential programs. In this context, <i>secure information flow</i> refers to the guarantee that program executions are free of non authorized flows of secret information into public channels. There are two established means to enforce information flow policies: static(More)
  • 1