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

Automaton-based Non-interference Monitoring of Concurrent Programs

Abstract

Earlier work [LGBJS06] presents an automaton-based non-interference monitoring mechanism for sequential programs. This technical report extends this work to a concurrent setting. Monitored programs are constituted of a set of threads running in parallel. Those threads run programs equivalent to those of [LGBJS06] except for the inclusion of a synchronization command. The monitoring mechanism is still based on a security automaton and on a combination of dynamic and static analyses. As in [LGBJS06], the monitoring semantics sends abstractions of program events to the automaton, which uses the abstractions to track information flows and to control the execution by forbidding or editing dangerous actions. All monitored executions are proved to be non-interfering (soundness).
Fichier principal
Vignette du fichier
abnimConcurrent_report.pdf (342.84 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00159987 , version 1 (04-07-2007)

Identifiers

  • HAL Id : inria-00159987 , version 1

Cite

Gurvan Le Guernic. Automaton-based Non-interference Monitoring of Concurrent Programs. [Research Report] 2007. ⟨inria-00159987⟩
166 View
84 Download

Share

Gmail Facebook X LinkedIn More