HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Synthesis of Non-Interferent Systems

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

Contributor : Franck Cassez Connect in order to contact the contributor
Submitted on : Friday, February 20, 2009 - 1:13:55 AM
Last modification on : Wednesday, April 27, 2022 - 4:43:45 AM
Long-term archiving on: : Tuesday, June 8, 2010 - 10:44:31 PM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads