..: Site du projet RNRT POLITESS [Livrable L4.2 : Spécification des politiques de sécurité compatibles avec celles proposées dans le SP1 et adaptées aux cas d'études] :..

dimanche 5 septembre 2010

» Livrables publics » Livrable L4.2 : Spécification des politiques de sécurité compatibles avec celles proposées dans le SP1 et adaptées aux cas d’études

Tout déplier Tout replier

Accueil

Présentation du projet

Introduction

Objectifs

Organisation du projet

Partenaires du projet

Livrables publics

Introduction

Livrable L1.1 : Modèle de sécurité avec règles contextuelles répondant aux besoins de contrôle d’accès à gestion centralisée

Livrable L1.2 : Modélisation des besoins de contrôle d’usage des services web

Livrable L1.3 : Modélisation et traitement des anomalies d’une politique de sécurité

Livrable L1.5 Modèle de référence pour la prise en compte des exigences de sécurité des services web

Livrable L1.6 : Règles de modélisation UML/OCL pour l’intégration des exigences fonctionnelles et de sécurité

Livrable L3.1 : Etat de l’art des techniques d’audit de web services

Livrable L3.2a Version intermédiaire de la méthode de test

Livrable L3.3 : Towards automatic test generation for opacity properties

Livrable L3.5 : Spécification de l’outil de génération de tests de politique de sécurité

Livrable L4.1 : Définition d’une architecture pour la surveillance et de la configuration du système

Livrable L4.2 : Spécification des politiques de sécurité compatibles avec celles proposées dans le SP1 et adaptées aux cas d’études

Livrable L4.3 : Outil de surveillance orienté sécurité

Livrable L4.6 Étude de faisabilité de la construction de détecteurs d’intrusion

Accès à l’espace réservé

Contrôle d’accès à l’espace réservé

Index par mots-clés

Livrable L4.2 : Spécification des politiques de sécurité compatibles avec celles proposées dans le SP1 et adaptées aux cas d’études

Livrable L4.2 - projet Politess - Sous projet SP4 (Techniques de surveillance)

Auteurs : Fayçal Bessayah, W. Mallouli, A. Cavalli (GET/INT)

Résumé : Ce document décrit une instanciation du modèle Nomad adaptée au test passif (surveillance). Cette instanciation sert à spécifier formellement et sans aucune ambiguïté des politiques de sécurité permettant ainsi à un testeur de vérifier si elles sont compatibles avec les traces d’exécution d’un système. Une étude de cas « Système d’audit SAP R/3 » est présentée pour illustrer l’utilisation pratique de ce modèle.