Dynamic Security Labels and Noninterference (Extended Abstract)

This publication has 17 references indexed in Scilit:

• Language-based information-flow security
  IEEE Journal on Selected Areas in Communications, 2003
• Static Confidentiality Enforcement for Distributed Programs
  Published by Springer Nature ,2002
• Transforming out timing leaks
  Published by Association for Computing Machinery (ACM) ,2000
• JFlow
  Published by Association for Computing Machinery (ACM) ,1999
• A decentralized model for information flow control
  Published by Association for Computing Machinery (ACM) ,1997
• A sound type system for secure flow analysis
  Journal of Computer Security, 1996
• Trust in the λ-calculus
  Published by Springer Nature ,1995
• Exploiting the Dual Nature of Sensitivity Labels
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987
• Security Policies and Security Models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
• Certification of programs for secure information flow
  Communications of the ACM, 1977