Benutzer: Gast  Login
Titel:

Noninterfering Schedulers

Titelzusatz:
When Possibilistic Noninterference Implies Probabilistic Noninterference
Autor(en):
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.
Stichworte:
noninterference, probabilistic noninterference, schedulers
Jahr:
2013
Sprache:
en
 BibTeX