Synthesis of Non-Interferent Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Synthesis of Non-Interferent Systems


In this paper, we focus on distributed systems sub ject to security issues. Such systems are usually composed of two entities: a high level user and a low level user that can both do some actions. The security properties we consider are non-interference properties. A system is non-interferent if the low level user cannot deduce any information by playing its low level actions. Various notions of non-interference have been defined in the literature, and in this paper we focus on two of them: one trace-based property (SNNI) and another bisimulation-based property (BSNNI). For these properties we study the problems of synthesis of a high level user so that the system is non-interferent. We prove that a most permissive high level user can be computed when one exists.


Other [cs.OH]
Fichier principal
Vignette du fichier
mmm-07.pdf (175.52 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00363029 , version 1 (20-02-2009)


  • HAL Id : inria-00363029 , version 1


Franck Cassez, John Mullins, Olivier Henri Roux. Synthesis of Non-Interferent Systems. 4th Int. Conf. on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS'07), Sep 2007, Saint Petersburg, Russia. pp.307--321. ⟨inria-00363029⟩
195 View
70 Download


Gmail Facebook Twitter LinkedIn More