Noninterfering schedulers: when possibilistic noninterference implies probabilistic noninterference

Conference paper

Popescu, A., Hölzl, J. and Nipkow, T. 2013. Noninterfering schedulers: when possibilistic noninterference implies probabilistic noninterference. 5th Conference on Algebra and Coalgebra in Computer Science (CALCO). Warsaw, Poland 03 - 06 Sep 2013 Springer. pp. 236-252
TypeConference paper
TitleNoninterfering schedulers: when possibilistic noninterference implies probabilistic noninterference
AuthorsPopescu, A., Hölzl, J. and Nipkow, T.
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.

Research GroupFoundations of Computing group
Conference5th Conference on Algebra and Coalgebra in Computer Science (CALCO)
Page range236-252
ISSN0302-9743
ISBN
Hardcover9783642402050
PublisherSpringer
Publication dates
Print2013
Publication process dates
Deposited27 Apr 2015
Output statusPublished
Accepted author manuscript
Copyright Statement

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-40206-7_18

Additional information

Published paper appears in: Algebra and Coalgebra in Computer Science, Volume 8089 of the series Lecture Notes in Computer Science pp 236-252, 2013

Web address (URL)http://dx.doi.org/10.1007/978-3-642-40206-7_18
LanguageEnglish
Book titleAlgebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings
Permalink -

https://repository.mdx.ac.uk/item/85205

Log in to edit

Download files

Accepted author manuscript
CALCO2013.pdf

  • 16
    total views
  • 1
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as