Contributions a l'etude de la tension entre coherence et confidentialite, et du classement d'objets selon leur histoire, dans les bases de donnees

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.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 150 P.
  • Annexes : 135 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • 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é François Rabelais . 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.