Précédent : Bases de l'environnement Aster Remonter : Environnement de programmation distribuée Suivant : Prototype et expérimentation

Qualités de service relatives à la sécurité et à la tolérance aux fautes

Lors de la définition des bases de l'environnement Aster, nous nous sommes concentrés sur des propriétés d'exécution relatives aux sémantiques élémentaires des systèmes d'appel de procédure à distance (i.e., sémantiques de synchronisation, de défaillance et topologique). Parallèlement, nous avons entrepris une étude à plus long terme pour traiter des propriétés plus complexes relevant de la sécurité et de la tolérance aux fautes.

Concernant les propriétés de sécurité, nous avons dans un premier temps abordé celles relatives au contrôle d'accès. Ceci nous a conduits à proposer une approche à la composition de politiques de sécurité, permettant ainsi de raisonner sur l'interaction entre applications ayant différentes exigences de sécurité ainsi que sur la mise en oeuvre de politiques de sécurité complexes à partir de celles de politiques élémentaires.