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

Mounir Assaf 1, 2, * Julien Signoles 1 Frédéric Tronel 2 Eric Totel 2
* Auteur correspondant
1 LSL - Laboratoire Sûreté des Logiciels
DILS - Département Ingénierie Logiciels et Systèmes : DRT/LIST/DILS
2 CIDRE - Confidentialité, Intégrité, Disponibilité et Répartition
CentraleSupélec, Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
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.
Type de document :
Rapport
[Rapport de recherche] RR-8326, INRIA. 2013, pp.25
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00841048
Contributeur : Frédéric Tronel <>
Soumis le : mercredi 3 juillet 2013 - 16:53:28
Dernière modification le : mercredi 11 avril 2018 - 02:00:35
Document(s) archivé(s) le : mercredi 5 avril 2017 - 07:00:52

Fichier

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

Identifiants

  • HAL Id : hal-00841048, version 1

Citation

Mounir Assaf, Julien Signoles, Frédéric Tronel, Eric Totel. Moniteur hybride de flux d'information pour un langage supportant des pointeurs. [Rapport de recherche] RR-8326, INRIA. 2013, pp.25. 〈hal-00841048〉

Partager

Métriques

Consultations de la notice

529

Téléchargements de fichiers

159