Développement formel d'un moniteur - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

Développement formel d'un moniteur

Abstract

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 and versions

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

Identifiers

  • HAL Id : inria-00000741 , version 1

Cite

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⟩
84 View
30 Download

Share

Gmail Facebook Twitter LinkedIn More