Compile-time detection of information flow in sequential programs

This publication has 11 references indexed in Scilit:

• Deriving algorithms from type inference systems
  Published by Association for Computing Machinery (ACM) ,1994
• Proving Noninterference and Functional Correctness Using Traces
  Journal of Computer Security, 1992
• Efficiently computing static single assignment form and the control dependence graph
  ACM Transactions on Programming Languages and Systems, 1991
• Pointer-induced aliasing: a problem taxonomy
  Published by Association for Computing Machinery (ACM) ,1991
• A Formal Method for the Abstract Specification of Software
  Journal of the ACM, 1984
• An Axiomatic Approach to Information Flow in Programs
  ACM Transactions on Programming Languages and Systems, 1980
• Information transmission in computational systems
  ACM SIGOPS Operating Systems Review, 1977
• Certification of programs for secure information flow
  Communications of the ACM, 1977
• The enforcement of security policies for computation
  Published by Association for Computing Machinery (ACM) ,1975
• A note on the confinement problem
  Communications of the ACM, 1973