Vérifier la sécurité des vues de bases de données
Pierre Bourhis (INRIA et CRIStAL, Lille)Pour maitriser l’accès aux données dans les bases de données, l’un des mécanismes les plus classiques et les plus simples est la définition de vues sur les données existantes permettant ainsi de restreindre les données accessibles à celles présentes dans la vue. Hélas, même ce mécanisme n’est pas aussi simple qu’il apparait: même si les données à protéger n’apparaissent pas dans les vues, certaines peuvent être déduites a partir des données visibles et des définitions des vues par des raisonnements logiques. Dans cette présentation, après avoir motivé le problème, je présenterai les fondements permettant de répondre à ce problème. Ce travail s’inscrit dans le projet CNRS Momentum « Gérer vos données sans fuite d’information ».