Technical Report – Computational Probabilistic Non-Interference ( Long Version ) ⋆

@inproceedings{Backes2015TechnicalR,
  title={Technical Report – Computational Probabilistic Non-Interference ( Long Version ) ⋆},
  author={Michael Backes and Birgit Pfitzmann},
  year={2015}
}
Information flow and non-interference are popular concepts for expressing confidentiality and integrity properties. We present the first general de finition of probabilistic non-interference in reactive systems that includes a computational case. Thi s case is essential to cope with real cryptography, since non-interference properties can usua lly only be guaranteed if the underlying cryptographic primitives have not been broken. This might h appen, but only with negligible probability. We show… CONTINUE READING