Bibtex de la publication

@InProceedings{ LaNaGrBaBe2005.1,
author = {Laborde, Romain and Nasser, Bassem and Grasset, Frédéric and Barrère, François and Benzekri, Abdelmalek},
title = "{Un Modèle et un outil d'analyse formels pour la configuration des mécanismes de sécurité réseau}",
booktitle = "{6ème colloque francophone GRES¿2005 , Luchon, France, 28/02/2005-02/03/2005}",
editor = {Benzekri , Abdelmalek. and Sibilla, Michelle.},
year = {2005},
month = {février},
publisher = {ISBN 2-9520326-5-3},
pages = {251--267},
note = {},
abstract = {La mise en ¿uvre de mécanismes de sécurité consiste à configurer des équipements afin qu¿ils coopèrent et garantissent les objectifs de sécurité fixés. Dans le contexte des réseaux, cette tâche est rendue complexe par le nombre, la nature et les interdépendances des équipements à considérer. Nous proposons dans cet article une méthode qui détecte les conflits (problème de consistance) et garantit l¿exactitude des mécanismes de sécurité réseau par rapport à des objectifs fixés. Pour cela, elle comprend un langage formel basé sur les Réseaux de Petri Colorés pour exprimer les objectifs de sécurité, les mécanismes et leur configuration de manière abstraite. Une méthode d¿analyse valide les spécifications ainsi décrites. }
}