Réécriture et modularité pour les politiques de sécurité
Dans cette thèse, nous nous intéressons à la spécification et à l’analyse modulaires de politiques de sécurité flexibles basées sur des règles. Nous introduisons l’utilisation du formalisme de réécriture stratégique dans ce domaine, afin que notre cadre hérite des techniques, des théorèmes, et des o...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2008NAN10007/document |