Contributions à l'étude de la tension entre cohérence et confidentialité et du classement d'objets selon leur histoire dans les bases de données - Archive ouverte HAL Accéder directement au contenu
Thèse Année : 1997

Contributions to the study of the tension between consistency and confidentiality, and of the classifying of objects according to their history, in databases

Contributions à l'étude de la tension entre cohérence et confidentialité et du classement d'objets selon leur histoire dans les bases de données

Xavier Delannoy
  • Fonction : Auteur

Résumé

This thesis is made of two contributions to the sudy of databases : (i) the first contribution concerns the improvement of the understanding, by means of formal study, of the tension between the functionalities of consistency and confidentiality. This tension allows us in some situations to use integrity constraints (consistency) to reveal secrets (confidentiality) and therefore perform a fraud. To begin with, the study states a general framework by giving a formal definition of the notions of secret, revelation and fraud. Then, a particular and original occurrence of the tension is formalised following a method inspired from the programming methods. This occurrence proves to be connected with Galois lattices. (ii) the second contribution concerns the specification and the implementation of an original functionality : classification of objects on the basis of their history. The study successively answers the three questions : what is the history of an object, how do we express properties on object histories, and finally how do we check them efficiently ? Expression is done by temporal logic formulas and checking relies on their successive translation to regular expression and then to finite state automaton. The implementation carried out uses this classification scheme to classify a posteriori objects of the prototype-based language NewtonScript.
Cette thèse est composée de deux contributions à l'étude des bases de données : (i) la première contribution porte sur l'amélioration de la compréhension, par l'étude formelle, de la tension entre les fonctionnalités de cohérence et de confidentialité. Cette tension permet, dans certaines situations, d'utiliser les contraintes d'intégrité (cohérence) pour révéler des secrets (confidentialité) et donc réaliser des fraudes. L'étude fixe tout d'abord un cadre général de recherche en donnant une définition formelle des notions de secret, révélation et fraude. Puis, une occurrence particulière, et originale, de tension est formalisée selon une méthode inspirée des méthodes de programmation. Cette occurrence s'est avérée liée aux treillis de Galois. (ii) la deuxième contribution porte sur la spécification et l'implémentation d'une fonctionalité originale : le classement d'objets selon leur histoire. A cette fin, l'étude répond successivement aux trois questions : qu'est-ce que l'histoire d'un objet, comment exprimer des propriétés sur l'histoire des objets, et comment les vérifier efficacement ? L'expression est réalisée par des formules de logique temporelle et la méthode de vérification repose sur la traduction de ces formules en expressions régulières puis en automates d'états finis. L'implémentation réalisée utilise cette méthode de classement pour classer a posteriori des objets du langage prototypique NewtonScript.
Fichier principal
Vignette du fichier
tel-00004936.pdf (730.79 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-00004936 , version 1 (20-02-2004)

Identifiants

  • HAL Id : tel-00004936 , version 1

Citer

Xavier Delannoy. Contributions à l'étude de la tension entre cohérence et confidentialité et du classement d'objets selon leur histoire dans les bases de données. Interface homme-machine [cs.HC]. Université Joseph-Fourier - Grenoble I, 1997. Français. ⟨NNT : ⟩. ⟨tel-00004936⟩
1600 Consultations
563 Téléchargements

Partager

Gmail Facebook X LinkedIn More