Provably Correct Runtime Enforcement of Non-interference Properties

This publication has 23 references indexed in Scilit:

• Dynamic Security Labels and Noninterference (Extended Abstract)
  Published by Springer Nature ,2005
• Secure Information Flow as a Safety Problem
  Published by Springer Nature ,2005
• A Theorem Proving Approach to Analysis of Secure Information Flow
  Published by Springer Nature ,2005
• Language-based information-flow security
  IEEE Journal on Selected Areas in Communications, 2003
• A semantic approach to secure information flow
  Science of Computer Programming, 2000
• Enforceable security policies
  ACM Transactions on Information and System Security, 2000
• Safety versus Secrecy
  Published by Springer Nature ,1999
• An Axiomatic Approach to Information Flow in Programs
  ACM Transactions on Programming Languages and Systems, 1980
• Certification of programs for secure information flow
  Communications of the ACM, 1977
• Memoryless subsystems
  The Computer Journal, 1974