Refactoring programs to secure information flows

This publication has 15 references indexed in Scilit:

• A logic for information flow analysis with an application to forward slicing of simple imperative programs
  Science of Computer Programming, 2007
• Efficient path conditions in dependence graphs for software safety analysis
  ACM Transactions on Software Engineering and Methodology, 2006
• A survey of software refactoring
  IEEE Transactions on Software Engineering, 2004
• Using access control for secure information flow in a Java-like language
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Language-based information-flow security
  IEEE Journal on Selected Areas in Communications, 2003
• JFlow
  Published by Association for Computing Machinery (ACM) ,1999
• A core calculus of dependency
  Published by Association for Computing Machinery (ACM) ,1999
• A decentralized model for information flow control
  Published by Association for Computing Machinery (ACM) ,1997
• Problems with automatic restructurers
  ACM SIGPLAN Notices, 1988
• A lattice model of secure information flow
  Communications of the ACM, 1976