Etude et mise en oeuvre de propriétés de sécurité dans les systèmes informatiques

par CIARAN BRYCE

Thèse de doctorat en Informatique

Sous la direction de Jean-Pierre Banâtre.

Soutenue en 1994

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Le but de cette these est la verification des proprietes de securite de programmes paralleles. Dans la premiere partie de cette these, nous presentons un mecanisme de controle d'acces et nous l'integrons dans un langage objets-orientes parallele. La deuxieme partie de la these presente un systeme de preuve de securite pour un langage parallele. Ce systeme est utilise pour verifier qu'il n'existe pas de fuite d'informations illegale entre les variables d'un programme. Nous adaptons ce mecanisme en une version pour un compilateur ainsi qu'en un mecanisme qui s'integre dans la machine d'execution du langage. Ce derier mecanisme verifie les proprietes de fuite d'informations pendant l'execution du programme. Enfin dans la troisieme partie de la these, nous presentons un mecanisme qui s'integre dans le systeme d'exploitation qui vise a empecher des acces illegaux aux donnees de programmes.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 160 P.
  • Annexes : 108 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1994/196
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.