Enforcing robust declassification

This publication has 34 references indexed in Scilit:

• Handling Encryption in an Analysis for Secure Information Flow
  Published by Springer Nature ,2003
• On the Secure Implementation of Security Protocols
  Published by Springer Nature ,2003
• Language-based information-flow security
  IEEE Journal on Selected Areas in Communications, 2003
• A Type System for Robust Declassification
  Electronic Notes in Theoretical Computer Science, 2003
• Probabilistic noninterference in a concurrent language
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Quantitative Analysis of the Leakage of Confidential Data
  Electronic Notes in Theoretical Computer Science, 2002
• Protecting privacy using the decentralized label model
  ACM Transactions on Software Engineering and Methodology, 2000
• A semantic approach to secure information flow
  Science of Computer Programming, 2000
• Certification of programs for secure information flow
  Communications of the ACM, 1977
• A lattice model of secure information flow
  Communications of the ACM, 1976