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

 

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

Auteurs : W. Mallouli, A. Cavalli (GET/IT/TSP)

Résumé : Ce document présente le cahier des charges de l’outil de surveillance que nous souhaitons développer. Cet outil permettra d’analyser les traces d’exécution d’un système sous test afin d’étudier sa conformité par rapport à sa politique de sécurité. Quelques concepts et algorithmes sur lesquels nous nous baserons pour l’élaboration de cet outil sont également fournis.

PDF - 34 octets, http://www.rnrt-politess.info/IMG/pdf_public/public_POLITESS_L4.3.pdf
Livrable L4.3
 
Publié le mercredi 2 avril 2008
Mis à jour le lundi 10 novembre 2008
par Jean-Luc RICHIER

 
 
 
Les autres articles de cette rubrique :
 
Introduction
Publié le mardi 13 mars 2007
Mis à jour le vendredi 21 septembre 2007
 
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
Publié le mardi 11 septembre 2007 par Jean-Luc RICHIER
Mis à jour le vendredi 27 juin 2008
 
Livrable L1.2 : Modélisation des besoins de contrôle d’usage des services web
Publié le vendredi 21 septembre 2007 par Jean-Luc RICHIER
Mis à jour le mardi 9 octobre 2007
 
Livrable L1.3 : Modélisation et traitement des anomalies d’une politique de sécurité
Publié le mardi 11 septembre 2007 par Jean-Luc RICHIER
Mis à jour le mercredi 19 septembre 2007
 
Livrable L1.5 Modèle de référence pour la prise en compte des exigences de sécurité des services web
Publié le lundi 10 novembre 2008 par Jean-Luc RICHIER
 
Livrable L1.6 : Règles de modélisation UML/OCL pour l’intégration des exigences fonctionnelles et de sécurité
Publié le jeudi 3 avril 2008 par Jean-Luc RICHIER
 
Livrable L3.1 : Etat de l’art des techniques d’audit de web services
Publié le lundi 23 avril 2007
Mis à jour le vendredi 27 juin 2008
 
Livrable L3.2a Version intermédiaire de la méthode de test
Publié le mardi 9 octobre 2007 par Jean-Luc RICHIER
 
Livrable L3.3 : Towards automatic test generation for opacity properties
Publié le vendredi 27 juin 2008 par Jean-Luc RICHIER
Mis à jour le lundi 10 novembre 2008
 
Livrable L3.5 : Spécification de l’outil de génération de tests de politique de sécurité
Publié le mercredi 12 septembre 2007 par Jean-Luc RICHIER
Mis à jour le vendredi 27 juin 2008
 
Accueil     |    Espace rédacteurs     |    Se connecter