A Model for Delimited Information Release

This publication has 44 references indexed in Scilit:

• Secure information flow and pointer con .nement in a java-like language
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Modelling downgrading in information flow security
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2004
• Cryptographic types
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Approximate non-interference
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Confidentiality for mobile code: the case of a simple payment protocol
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Transforming out timing leaks
  Published by Association for Computing Machinery (ACM) ,2000
• Secrecy by typing in security protocols
  Journal of the ACM, 1999
• A core calculus of dependency
  Published by Association for Computing Machinery (ACM) ,1999
• A Calculus for Cryptographic Protocols: The Spi Calculus
  Information and Computation, 1999
• Certification of programs for secure information flow
  Communications of the ACM, 1977