Moniteur hybride de flux d'information pour un langage supportant des pointeurs

Mounir Assaf; Julien Signoles; Frédéric Tronel; Eric Totel

Moniteur hybride de flux d'information pour un langage supportant des pointeurs

Mounir Assaf ^{1, 2} Julien Signoles ² Frédéric Tronel ¹ Eric Totel ¹

1 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition

CentraleSupélec, Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE

2 LSL - Laboratoire Sûreté des Logiciels

DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS

Résumé : Les nouvelles approches combinant contrôle dynamique et statique de flux d'information sont prometteuses puisqu'elles permettent une approche permissive tout en garantissant la correction de l'analyse réalisée vis-à-vis de la non-interférence. Dans ce papier, nous présentons une approche hybride de suivi de flux d'information pour un langage gérant des pointeurs. Nous formalisons la sémantique d'un moniteur sensible aux flux de données qui combine analyse statique et dynamique. Nous prouvons ensuite la correction de notre moniteur vis-à-vis de la non-interférence.

Document type :

Conference papers

Domain :

Cognitive science / Computer science

Complete list of metadatas

Cited literature [16 references] Display Hide Download

https://hal.inria.fr/hal-00909293
Contributor : Frédéric Tronel <>
Submitted on : Tuesday, November 26, 2013 - 10:44:39 AM
Last modification on : Monday, February 10, 2020 - 6:12:32 PM
Long-term archiving on: Monday, March 3, 2014 - 4:10:58 PM

main.pdf

Files produced by the author(s)

Moniteur hybride de flux d'information pour un langage supportant des pointeurs

File

Identifiers

Collections

Citation

Export

Metrics

655

163

Contact

Moniteur hybride de flux d'information pour un langage supportant des pointeurs

File

Identifiers

Collections

Citation

Export

Share

Metrics

655

163

Contact