Analyse de sécurité de logiciels système par typage statique
Les noyaux de systèmes d'exploitation manipulent des données fournies par les programmes utilisateur via les appels système. Si elles sont manipulées sans prendre une attention particulière, une faille de sécurité connue sous le nom de Confused Deputy Problem peut amener à des fuites de données...
Main Author: | Millon, Etienne |
---|---|
Other Authors: | Paris 6 |
Language: | fr |
Published: |
2014
|
Subjects: | |
Online Access: | http://www.theses.fr/2014PA066120/document |
Similar Items
-
Analyse de sécurité de logiciels système par typage statique
by: Millon, Etienne
Published: (2014) -
Typage et contrôle de la mobilité
by: Hym, Samuel
Published: (2006) -
Une nouvelle classe de séquences d'ADN mobile chez mycobacterium avium ssp.paratuberculosis : utilisation pour le typage moléculaire et l'analyse fine de la régulation génétique.
by: Thibault, Virginie
Published: (2008) -
Typage, compilation, et cryptographie pour la programmation repartie securisée
by: Planul, Jeremy
Published: (2012) -
Typage de Modèles
by: Steel, James
Published: (2007)