Computational Probabilistic Non-interference

This publication has 7 references indexed in Scilit:

• A model for asynchronous reactive systems and its application to secure message transmission
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation
  Published by Springer Nature ,2002
• Foundations of Cryptography
  Published by Cambridge University Press (CUP) ,2001
• Semantics and Program Analysis of Computationally Secure Information Flow
  Published by Springer Nature ,2001
• Unwinding Possibilistic Security Properties
  Published by Springer Nature ,2000
• Protocols for secure computations
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1982
• A lattice model of secure information flow
  Communications of the ACM, 1976