Infrastructures pour les "Petits Objets Portables et Sécurisés"

Camille NG : Security Overview.
Damien Deville, LIFL, Université de Lille 1

Résumé : Le système d'exploitation Camille permet de charger dynamiquement de nouveau composants systèmes. Cette fonctionnalité ne ce fait cependant pas au détriment de la sécurité, pas plus qu'au détriment d'efficacité du système. Pour cela des techniques de garantie de la confidentialité, de l'intégrité ont été proposé. Aprés avoir rappeler ces bases, nous montrerons comment la nouvelle génération du système d'exploitation Camille permet de garantir la disponibilité du microprocesseur pour des applications "temps réels" tout en allouant le chargement dynamique de nouvelles politiques d'ordonnancement des tâches.