A Design for a Security-Typed Language with Certificate-Based Declassification

This publication has 15 references indexed in Scilit:

• A monadic analysis of information flow security with mutable state
  Journal of Functional Programming, 2005
• Downgrading policies and relaxed noninterference
  Published by Association for Computing Machinery (ACM) ,2005
• Type-based distributed access control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Computational lambda-calculus and monads
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Information flow inference for ML
  Published by Association for Computing Machinery (ACM) ,2002
• A core calculus of dependency
  Published by Association for Computing Machinery (ACM) ,1999
• Existential types: Logical relations and operational equivalence
  Published by Springer Nature ,1998
• A decentralized model for information flow control
  Published by Association for Computing Machinery (ACM) ,1997
• Intersection and Union Types: Syntax and Semantics
  Information and Computation, 1995
• Coherence of subsumption, minimum typing and type-checking in F ≤
  Mathematical Structures in Computer Science, 1992