HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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

Etienne Millon 1
1 APR - Algorithmes, Programmes et Résolution
LIP6 - Laboratoire d'Informatique de Paris 6
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.
Document type :
Conference papers
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01282308
Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Thursday, March 3, 2016 - 3:26:55 PM
Last modification on : Friday, January 8, 2021 - 5:32:06 PM

Identifiers

  • HAL Id : hal-01282308, version 1

Collections

CNRS | UPMC | LIP6 | SORBONNE-UNIVERSITE | SU-SCIENCES

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

20