Développement formel d'un moniteur - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Développement formel d'un moniteur

Résumé

Dans le domaine des réseaux informatiques, de nombreux modèles existent pour permettre l'expression de politiques de sécurité. Les plus utilisés sont les modèles de contrôle d'accès. Cependant, peu de méthodes sont proposées pour s'assurer que ces politiques de haut niveau sont effectivement respectées par le système réel. Nous nous proposons ici d'assurer cette garantie par la mise en place d'un moniteur surveillant le réseau. Ce moniteur est développé par un processus basé sur le raffinement. Nous illustrerons nos propos avec une étude de cas modélisant un réseau de type intranet, protégé par des pare-feux.
Fichier principal
Vignette du fichier
48.pdf (73.1 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00000741 , version 1 (15-11-2005)

Identifiants

  • HAL Id : inria-00000741 , version 1

Citer

Vianney Darmaillacq, Nicolas Stouls. Développement formel d'un moniteur. MajecSTIC 2005 : Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC, IRISA – IETR – LTSI, Nov 2005, Rennes, pp.397-401. ⟨inria-00000741⟩
85 Consultations
30 Téléchargements

Partager

Gmail Facebook X LinkedIn More