Login
- Subtitle:
- When Possibilistic Noninterference Implies Probabilistic Noninterference
- Title:
Noninterfering Schedulers
- Author(s):
- Andrei Popescu <popescua@in.tum.de>, Johannes Hölzl <hoelzl@in.tum.de>, Tobias Nipkow <nipkow@in.tum.de>
- Abstract:
- We develop a framework for expressing and analyzing the behavior of probabilistic schedulers. There, we define noninterfering schedulers by a probabilistic interpretation of Goguen and Meseguer’s seminal notion of noninterference. Noninterfering schedulers are proved to be safe in the following sense: if a multi-threaded program is possibilistically noninterfering, then it is also probabilistically noninterfering when run under this scheduler.
- Keywords:
- noninterference, probabilistic noninterference, schedulers
- Year:
- 2013
- Language:
- en
BibTeX