Livrable L1.5 Modèle de référence pour la prise en compte des exigences de sécurité des services web
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
Le livrable 3.5 du projet POLITESS propose une architecture générique d’outil de génération de tests à partir de modèles pour le test de politique de sécurité de systèmes en réseau.
L’architecture générique repose sur les trois composants suivants :
Composant A. Générateur d’objectif de test,
Composant B. Générateur de scénarios de tests,
Composant C. Environnement d’exécution des tests (architecture de test).
Cette architecture est ensuite instanciée suivant 3 approches expérimentées au sein du projet POLITESS :
INPG - approche s’appuyant sur OrBac et IF pour la formalisation
IRISA/INRIA - approche basée sur une adaptation des outils TGV et STG.
LEIRIOS - approche s’appuyant sur une formalisation en UML/OCL et une génération à partir de couverture des fonctions de sécurité.
Mis à jour le vendredi 27 juin 2008