Noninterference for Concurrent Programs and Thread Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2001

Noninterference for Concurrent Programs and Thread Systems

Ilaria Castellani
  • Fonction : Auteur
  • PersonId : 831542

Résumé

We propose a type system to ensure the property of noninterference in a system of concurrent programs, described in a standard imperative language enriched with parallelism. Our proposal is in the line of some recent work by Irvine, Volpano and Smith. Our type system seems more natural and less restrictive than that originally presented by these authors for the concurrent case. Moreover, we show how to extend the language in order to formalise scheduling policies for systems of sequential threads. The type system is extended to the new constructs, and we show that noninterferenc- e still holds, while remaining in a nonprobabilistic setting.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-4254.pdf (305.53 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00072334 , version 1 (23-05-2006)

Identifiants

  • HAL Id : inria-00072334 , version 1

Citer

Gérard Boudol, Ilaria Castellani. Noninterference for Concurrent Programs and Thread Systems. RR-4254, INRIA. 2001. ⟨inria-00072334⟩
127 Consultations
353 Téléchargements

Partager

Gmail Facebook X LinkedIn More