Formalisation de la Confidentialité dans une Base de Données à Objets

Plusieurs modèles de sécurité multi-niveaux pour les bases de données à objets sont récemment apparus dans la littérature. Dans cet article, nous nous intéressons au modèle Multi-Vues [BCGY93b][BCGY94]. Notre premier objectif n’est pas de présenter un nouveau modèle de sécurité, mais plutôt de présenter le modèle Multi-Vues de façon formelle. Un second objectif est d’étendre le modèle Multi-Vues en y incluant de nouvelles fonctionnalités, telles que la protection du schéma. Notre approche est la suivante. Nous proposons tout d’abord un langage basé sur la logique du premier ordre afin de pouvoir représenter tout type d’information contenue dans une base de données à objets ainsi qu’un certain nombre de contraintes d’intégrité inhérentes au paradigme objet. Un premier modèle de sécurité appelé le modèle Vue Unique est alors défini. Dans ce modèle de sécurité, toute formule atomique du langage utilisé pour représenter une base de données à objets peut recevoir un niveau de classification. Nous dérivons également un certain nombre de théorèmes régissant l’assignation des niveaux de sécurité. Finalement, nous montrons comment raffiner le modèle Vue Unique afin d’obtenir le modèle Multi-Vues.