Automaton-based Non-interference Monitoring of Concurrent Programs

Gurvan Le Guernic 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
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).
Type de document :
Rapport
[Research Report] 2007
Liste complète des métadonnées


https://hal.inria.fr/inria-00159987
Contributeur : Gurvan Le Guernic <>
Soumis le : mercredi 4 juillet 2007 - 15:58:06
Dernière modification le : vendredi 13 janvier 2017 - 14:18:00
Document(s) archivé(s) le : lundi 24 septembre 2012 - 10:51:45

Fichier

abnimConcurrent_report.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00159987, version 1

Collections

Citation

Gurvan Le Guernic. Automaton-based Non-interference Monitoring of Concurrent Programs. [Research Report] 2007. <inria-00159987>

Partager

Métriques

Consultations de
la notice

156

Téléchargements du document

115