Searching for "Approximate Non-Interference." – sorted by Relevance.
-
Approximate Non-Interference
- Approximate Non-Interference Alessandra Di Pierro Dipartimento di Informatica Università di Pisa
- Cited by 84 (11 self) – Add To MetaCart
-
unknown title
- Approximate Non-Interference Alessandra Di PierroDipartimento di Informatica Universit`a di Pisa
- Add To MetaCart
-
Non-inference: An information flow control model for location-based services
- . Approximate Non-interference [15] is a model in which the notion of non-interference is approximated
- Cited by 4 (3 self) – Add To MetaCart
-
Quantifying probabilistic information flow in computational reactive systems
- information flow is the one on approximate non-interference of Di Pierro et al. [8]. They defined the notion
- Cited by 1 (0 self) – Add To MetaCart

