dimanche 5 septembre 2010
Accueil du site
Actualités
Plan du site
Espace rédacteurs
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
Se connecter
Login (identifiant de connexion au site) :
Site réalisé avec SPIP
Squelette BeeSpip v.1.8.12n
Accueil
|
Espace rédacteurs
|
Se connecter
