Automaton-based Non-interference Monitoring - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Technical Report) Year : 2006

Automaton-based Non-interference Monitoring

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.
Fichier principal
Vignette du fichier
leGuernic06techReport-automatonBasedNiMonitoring.pdf (644.26 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00001221 , version 1 (10-04-2006)
inria-00001221 , version 2 (24-04-2006)

Identifiers

  • HAL Id : inria-00001221 , version 2

Cite

Gurvan Le Guernic, Anindya Banerjee, David Schmidt. Automaton-based Non-interference Monitoring. [Technical Report] KSU Report 2006-1, 2006, pp.49. ⟨inria-00001221v2⟩
99 View
192 Download

Share

Gmail Facebook Twitter LinkedIn More