Searching for "Computational Probabilistic Non-interference." – sorted by Relevance.
-
Computational probabilistic non-interference
- Computational Probabilistic Non-Interference £ Michael Backes and Birgit Pfitzmann ¡ ¢ Saarland
- Cited by 22 (8 self) – Add To MetaCart
-
Quantifying probabilistic information flow in computational reactive systems
- of information flow is equivalent to perfect or computational probabilistic non-interference, respectively. 1
- Cited by 1 (0 self) – Add To MetaCart
-
Intransitive Non-Interference for Cryptographic Purposes
- in capturing probabilistic non-interference. We investigate the notion of intransitive probabilistic non-interference
- Cited by 11 (6 self) – Add To MetaCart

