Vérification de code système par typage statique, application au noyau Linux. - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Vérification de code système par typage statique, application au noyau Linux.

Etienne Millon
  • Fonction : Auteur
  • PersonId : 971653

Résumé

Ce document décrit une analyse de code système qui garantit que les manipulations de pointeurs provenant de l’utilisateur se font de manière sécurisée. Pour arriver à ce résultat, le langage C est enrichi d’un type "pointeur utilisateur", non déréférençable. Cette analyse de typage garantit l’intégrité du noyau.
Fichier non déposé

Dates et versions

hal-01282308 , version 1 (03-03-2016)

Identifiants

  • HAL Id : hal-01282308 , version 1

Citer

Etienne Millon. Vérification de code système par typage statique, application au noyau Linux.. 10ème Symposium sur la Sécurité des Technologies de l'Information et des Communications (SSTIC'12), Jun 2012, Rennes, France. ⟨hal-01282308⟩
25 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More