Controlled Declassification Based on Intransitive Noninterference

This publication has 23 references indexed in Scilit:

• Modelling downgrading in information flow security
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Quantifying information flow
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Approximate non-interference
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Handling Encryption in an Analysis for Secure Information Flow
  Published by Springer Nature ,2003
• Quantitative Analysis of the Leakage of Confidential Data
  Electronic Notes in Theoretical Computer Science, 2002
• Computational Probabilistic Non-interference
  Published by Springer Nature ,2002
• Information Flow Control and Applications — Bridging a Gap —
  Published by Springer Nature ,2001
• Transforming out timing leaks
  Published by Association for Computing Machinery (ACM) ,2000
• Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
  Published by Springer Nature ,1996
• A lattice model of secure information flow
  Communications of the ACM, 1976