21-05-2013
 
  Accueil arrow Travaux arrow Thèse arrow Approche possible    
Accueil
Travaux
Mon CV
Tutoriels
Histoire
Contact


Linking
Management du risque




Approche possible Convertir en PDF Version imprimable

Nous souhaitons nous intéresser aux techniques utilisables pour garantir une exécution sûre de code téléchargé sur un système. Elles doivent permettre de mettre en échec les menaces dues au chargement et à l’exécution de code pernicieux.
Ces considérations ne sont pas nouvelles et ont trouvé leur réponse dans tous les systèmes d’exploitation Multi-Utilisateur depuis des années. L’approche traditionnelle pour résoudre ces problèmes consiste à mettre en place un mécanisme lourd d’adressage et de protection des espaces mémoire alloués, parallèlement aux droits d’accès au système de fichiers et aux autres ressources. Cependant, il y a une différence fondamentale entre cette approche et celle nécessitée par du code mobile : le code mobile vise une exécution rapide et légère. Le code mobile ne peut donc pas se satisfaire des mécanismes existants. De plus, chaque unité en exécution doit être considérée comme appartenant à un utilisateur particulier pour fournir une protection entre ces codes mobiles et le système, et même entre les codes mobiles eux-mêmes. Les méthodes classiques de création d’utilisateurs ne peuvent pas satisfaire ce besoin.
Il est donc essentiel de définir une autre stratégie de sécurité basée sur des contraintes techniques similaires : l’emploi de la mobilité dans la sécurité.

Des travaux ont déjà été entrepris au sein de l’équipe de recherche d’Elisabeth Pelz au LACL et plus particulière le groupe de Fabrice Mourlin sur la spécification formelle de système concurrents mobiles. Ces travaux s’intéressent avant tout à la création d’agents mobiles à partir de spécifications formelles, autorisant ainsi une phase de validation par jeu de test.
L’utilisation de ces résultats au domaine de la sécurité logicielle est une orientation importante dont l’objectif clairement annoncé est d’offrir une stratégie de surveillance d’agents mobiles communicants dont la description est initialement fournie à partir de spécifications formelles (c’est à dire résultant de la plate forme créée par Andreea Barbu et Fabrice Mourlin).

 
IEEE
PrePrint: REVEAL: An Extensible Reduced Order Model Builder for Simulation and Modeling

Many science domains need to build computationally efficient and accurate representations of high fidelity, computationally expensive simulations known as reduced order models. This paper presents the design and implementation of a novel reduced-order model (ROM) builder, the REVEAL toolset. This toolset generates ROMs based on science- and engineering-domain specific simulations executed on high performance computing (HPC) platforms. The toolset encompasses a range of sampling and regression methods for ROM generation, automatically quantifies the ROM accuracy, and supports an iterative approach to improve ROM accuracy. REVEAL is designed to be extensible for any simulator that has published input and output formats....

Computing in Science and Engineering
 


Sondage
Quel bus logiciel connaissez-vous le plus ?
 

© 2013 Le site Web de Mâamoun BERNICHI
Joomla! is Free Software released under the GNU/GPL License.