 |
 |
|
Evènement pour le groupe Modélisation et Verification
| Date | 2008-10-09 11:00-12:15 |
| Titre | A 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 |
| Lieu | Salle 076, LaBRI, Rez-de-chaussée |
| Orateur | Hélène Kirchner |
| Email | Helene.Kirchner@inria.fr |
| Url | INRIA Bordeaux - Sud-Ouest |
Aucun document lié à cet événement. RetourRetour à l'index
| |