Automaton-based Non-interference Monitoring

Gurvan Le Guernic 1, 2 Anindya Banerjee 2 David Schmidt 2
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : This report presents a non-interference monitoring mechanism for sequential programs. Non-interference is a property of the information flows of a program. It implies the respect of the confidentiality of the secret information manipulated. The approach taken uses an automaton based monitor. During the execution, abstractions of the events occurring are sent to the automaton. The automaton uses those inputs to track the information flows and to control the execution by forbidding or editing dangerous actions. The mechanism proposed is proved to be sound and more efficient than a type system similar to the historical one developed by Volpano, Smith and Irvine.
Type de document :
Rapport
[Technical Report] KSU Report 2006-1, 2006, pp.49
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00001221
Contributeur : Gurvan Le Guernic <>
Soumis le : lundi 24 avril 2006 - 01:18:27
Dernière modification le : mardi 21 novembre 2017 - 15:22:13
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 10:34:46

Identifiants

  • HAL Id : inria-00001221, version 2

Collections

Citation

Gurvan Le Guernic, Anindya Banerjee, David Schmidt. Automaton-based Non-interference Monitoring. [Technical Report] KSU Report 2006-1, 2006, pp.49. 〈inria-00001221v2〉

Partager

Métriques

Consultations de la notice

131

Téléchargements de fichiers

165