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...

Full description

Bibliographic Details
Main Author: Millon, Etienne
Other Authors: Paris 6
Language:fr
Published: 2014
Subjects:
004
Online Access:http://www.theses.fr/2014PA066120/document