A Theorem Proving Approach to Analysis of Secure Information Flow

This publication has 14 references indexed in Scilit:

• Proving Abstract Non-interference
  Published by Springer Nature ,2004
• A Program Logic for Handling Java Card’s Transaction Mechanism
  Published by Springer Nature ,2003
• Information flow inference for ML
  ACM Transactions on Programming Languages and Systems, 2003
• Eliminating covert flows with minimum typings
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Information flow inference for ML
  Published by Association for Computing Machinery (ACM) ,2002
• A Per Model of Secure Information Flow in Sequential Programs
  Higher-Order and Symbolic Computation, 2001
• Dynamic Logic
  Published by MIT Press ,2000
• A semantic approach to secure information flow
  Science of Computer Programming, 2000
• JFlow
  Published by Association for Computing Machinery (ACM) ,1999
• Certification of programs for secure information flow
  Communications of the ACM, 1977