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.
Type de document :
Communication dans un congrès
4th Int. Conf. on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS'07), Sep 2007, Saint Petersburg, Russia. Springer, 1, pp.307--321, 2007
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00363029
Contributeur : Franck Cassez <>
Soumis le : vendredi 20 février 2009 - 01:13:55
Dernière modification le : mercredi 16 mai 2018 - 11:48:02
Document(s) archivé(s) le : mardi 8 juin 2010 - 22:44:31

Fichier

mmm-07.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00363029, version 1

Citation

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. Springer, 1, pp.307--321, 2007. 〈inria-00363029〉

Partager

Métriques

Consultations de la notice

301

Téléchargements de fichiers

125