Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/inria-00000741
Contributor : Elodie Foret <>
Submitted on : Tuesday, November 15, 2005 - 3:34:40 PM
Last modification on : Friday, November 6, 2020 - 4:03:15 AM
Long-term archiving on: : Friday, April 2, 2010 - 7:24:34 PM

File

Identifiers

  • HAL Id : inria-00000741, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

393

Files downloads

72