Intransitive non-interference for cryptographic purposes

This publication has 17 references indexed in Scilit:

• Robust declassification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• A general theory of security properties
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A network version of the Pump
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Secure introduction of one-way functions
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Protecting privacy using the decentralized label model
  ACM Transactions on Software Engineering and Methodology, 2000
• Information flow in nondeterministic systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Covert Channel Capacity
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1987
• Unwinding and Inference Control
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• On the security of public key protocols
  IEEE Transactions on Information Theory, 1983
• Protocols for secure computations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982