Thèse de Paul El Khoury


Sujet :
Intégration de mécanismes de sécurité dans des environnements hétérogènes

Date de soutenance : 31/10/2009

Encadrant : Mohand-Said Hacid

Résumé :

Mon travail de recherche dans le cadre de ma thèse s’inscrit dans le lot de travail de schéma d’intégration du projet Européen SERENITY (http://www.serenity-project.org/). L’objectif est la conception d’un cadre d’intégration de mécanismes de sécurité, qui s’appuie sur la notion de patterns de sécurités. Ce cadre comprendra (1) un langage de spécification de contextes, des besoins et des propriétés, (2) des méthodes d’intégration de mécanismes de sécurité, qu’ils soient locaux ou distribués. On doit également concevoir et implémenter des méthodes de vérification de cohérence d’une intégration de patterns à la fois au niveau d’une ressource et au niveau d’une combinaison de ressources. L’une des contraintes sous-jacentes est l’applicabilité du cadre à une large palette de systèmes et d’applications. On démontrera ensuite comment ce cadre pourra implémenter et intégrer des patterns de sécurité, essentiellement à travers un scénario (concrets) d’assistance des patients à distance.