Semantics and Program Analysis of Computationally Secure Information Flow

This publication has 13 references indexed in Scilit:

• Reconciling Two Views of Cryptography
  Published by Springer Nature ,2000
• JFlow
  Published by Association for Computing Machinery (ACM) ,1999
• A core calculus of dependency
  Published by Association for Computing Machinery (ACM) ,1999
• A Per Model of Secure Information Flow in Sequential Programs
  Published by Springer Nature ,1999
• The SLam calculus
  Published by Association for Computing Machinery (ACM) ,1998
• On the foundations of modern cryptography
  Published by Springer Nature ,1997
• A sound type system for secure flow analysis
  Journal of Computer Security, 1996
• Certifying information flow properties of programs
  Published by Association for Computing Machinery (ACM) ,1979
• Certification of programs for secure information flow
  Communications of the ACM, 1977
• A lattice model of secure information flow
  Communications of the ACM, 1976