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

 

Résumé In this work, we investigate the use of test generation and controller synthesis techniques for the testing of security policies. We assume the existence of a model of the system and consider two kinds of properties : integrity properties and confidentiality properties. We first outline the methodology allowing to automatically compute access controls ensuring these two kinds of properties. We then show how to derive testers that not only test the security properties and the conformance of the implementation, but try to test the access controls that have been plugged with the implementation in order to ensure security properties.

Auteurs Jérémy Dubreil, Thierry Jéron, and Hervé Marchand

INRIA Rennes - Bretagne Atlantique

(PNG) Livrable L3.3

 
Publié le vendredi 27 juin 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.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
 
Livrable L4.1 : Définition d’une architecture pour la surveillance et de la configuration du système
Publié le mardi 11 septembre 2007 par Jean-Luc RICHIER
Mis à jour le mercredi 19 septembre 2007
 
Accueil     |    Espace rédacteurs     |    Se connecter