Trusted declassification:

This publication has 12 references indexed in Scilit:

• Decentralized Robustness
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2006
• Flow Locks: Towards a Core Calculus for Dynamic Flow Policies
  Published by Springer Nature ,2006
• Dimensions and Principles of Declassification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• On Declassification and the Non-Disclosure Policy
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• A Design for a Security-Typed Language with Certificate-Based Declassification
  Published by Springer Nature ,2005
• Stack-based access control and secure information flow
  Journal of Functional Programming, 2005
• Security policies for downgrading
  Published by Association for Computing Machinery (ACM) ,2004
• Controlled Declassification Based on Intransitive Noninterference
  Published by Springer Nature ,2004
• Language-based information-flow security
  IEEE Journal on Selected Areas in Communications, 2003
• Featherweight Java
  Published by Association for Computing Machinery (ACM) ,1999