Secure Information Flow as a Safety Problem

This publication has 12 references indexed in Scilit:

• Robust declassification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Transition predicate abstraction and fair termination
  Published by Association for Computing Machinery (ACM) ,2005
• Downgrading policies and relaxed noninterference
  Published by Association for Computing Machinery (ACM) ,2005
• Abstract non-interference: parameterizing non-interference by abstract interpretation
  Published by Association for Computing Machinery (ACM) ,2004
• A Model for Delimited Information Release
  Published by Springer Nature ,2004
• Language-based information-flow security
  IEEE Journal on Selected Areas in Communications, 2003
• A general theory of composition for trace sets closed under selective interleaving functions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Relative Completeness of Abstraction Refinement for Software Model Checking
  Published by Springer Nature ,2002
• The S LAM project
  Published by Association for Computing Machinery (ACM) ,2002
• Lazy abstraction
  Published by Association for Computing Machinery (ACM) ,2002