dimanche 5 septembre 2010
Accueil du site
Actualités
Plan du site
Espace rédacteurs
» Recherche par mots-clés
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
Recherche par mots-clés
Site réalisé avec SPIP
Squelette BeeSpip v.1.8.12n
Accueil
|
Espace rédacteurs
|
Se connecter
