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

par Xavier Delannoy

Thèse de doctorat en Informatique

Sous la direction de Michel Simonet.

Soutenue en 1997

à Grenoble 1 .


  • Résumé

    Cette these est faite de deux contributions a l'etude des bases de donnees : (i) la premiere contribution porte sur l'amelioration de la comprehension, par l'etude formelle, de la tension entre les fonctionnalites de coherence et de confidentialite. Cette tension permet, dans certaines situations, d'utiliser les contraintes d'integrite (coherence) pour reveler des secrets (confidentialite) et donc realiser des fraudes. L'etude fixe tout d'abord un cadre general de recherche en donnant une definition formelle des notions de secret, revelation et fraude. Puis, une occurrence particuliere, et originale, de tension est formalisee selon une methode inspiree des methodes de programmation. Cette occurrence s'est averee liee aux treillis de galois. (ii) la deuxieme contribution porte sur la specification et l'implementation d'une fonctionalite originale : le classement d'objets selon leur histoire. A cette fin, l'etude repond successivement aux trois questions : qu'est-ce que l'histoire d'un objet, comment exprimer des proprietes sur l'histoire des objets, et comment les verifier efficacement ? l'expression est realisee par des formules de logique temporelle et la methode de verification repose sur la traduction de ces formules en expressions regulieres puis en automates d'etats finis. L'implementation realisee utilise cette methode de classement pour classer a posteriori des objets du langage prototypique newtonscript.

  • Titre traduit

    Contribution to the study of the tension between consistence and confidentiality, and the classification of objects according to their history, in the database framework


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (150 P.)
  • Annexes : 135 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Disponible pour le PEB
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1997-DEL
  • Bibliothèque : Ecole Polytechnique de l’Université de Tours. Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Cote : DI-TH-557
  • Bibliothèque : Université Paris-Dauphine (Paris). Service commun de la documentation.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.