Evènement pour le groupe Modélisation et Verification


Date 2008-10-09  11:00-12:15
TitreA rewrite-based approach for security policies 
RésuméWe show how strategic rewriting and narrowing provide a foundational framework for the compositional design, maintenance and verification of security policies. Rewrite rules transform input terms representing policy requests into decision terms. Strategies are used to explicitly control the rule application. Parameterized queries are solved by narrowing. Relying on the correspondences between the properties of the rewrite system and the policy it implements, we are able to reuse existing proof techniques and analysis tools in the security policies context. Joint work with Claude Kirchner and Anderson Santana de Oliveira  
LieuSalle 076, LaBRI, Rez-de-chaussée 
OrateurHélène Kirchner 
EmailHelene.Kirchner@inria.fr 
UrlINRIA Bordeaux - Sud-Ouest 



Aucun document lié à cet événement.

Retour
Retour à l'index