A Type System for Robust Declassification

This publication has 10 references indexed in Scilit:

• What is intransitive noninterference?
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Language-based information-flow security
  IEEE Journal on Selected Areas in Communications, 2003
• Understanding Java stack inspection
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Absorbing covers and intransitive non-interference
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Secure program partitioning
  ACM Transactions on Computer Systems, 2002
• Secure Information Flow via Linear Continuations
  Higher-Order and Symbolic Computation, 2002
• Information flow inference for ML
  Published by Association for Computing Machinery (ACM) ,2002
• Protecting privacy using the decentralized label model
  ACM Transactions on Software Engineering and Methodology, 2000
• SAFKASI
  ACM Transactions on Software Engineering and Methodology, 2000
• A sound type system for secure flow analysis
  Journal of Computer Security, 1996