A Semantic Framework for Declassification and Endorsement

This publication has 18 references indexed in Scilit:

• Tight Enforcement of Information-Release Policies for Dynamic Languages
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2009
• A weakest precondition approach to active attacks analysis
  Published by Association for Computing Machinery (ACM) ,2009
• Civitas: Toward a Secure Voting System
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2008
• Expressive Declassification Policies and Modular Static Enforcement
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2008
• Termination-Insensitive Noninterference Leaks More Than Just a Bit
  Published by Springer Nature ,2008
• Secure web applications via automatic partitioning
  Published by Association for Computing Machinery (ACM) ,2007
• Gradual Release: Unifying Declassification, Encryption and Key Release Policies
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2007
• Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study
  Published by Springer Nature ,2005
• JFlow
  Published by Association for Computing Machinery (ACM) ,1999
• Security Policies and Security Models
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982