Formalisation et évaluation de politiques P3P

Vincent Cridlig 1 Olivier Festor 1 Jacques Guyard 1 Pierre-Etienne Moreau 2
1 MADYNES - Management of dynamic networks and services
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : L'écriture et l'évaluation de politiques est un problème qui revient de façon récurrente dans l'internet. Ces politiques, qui touchent des domaines comme la confidentialité(P3P), la sécurité (firewall) ou le provisionning (COPS-PR) sont très souvent composées d'un certain nombre de règles à parcourir suivant un ordre déterminé. Dans cet article, nous présentons les résultats de nos travaux sur la formalisation des règles P3P et leur validation dans un environnement formel basé sur la réécriture. Nous réalisons notamment un environnement qui, à partir d'une politique P3P et de préférences utilisateurs en langage APPEL, retourne le comportement à adopter vis à vis d'une ressource sur Internet. Ce prototype utilise le langage ELAN.
Type de document :
Communication dans un congrès
Colloque Francophone sur l'Ingénierie des Protocoles - CFIP 2003, Oct 2003, Paris, France, 16 p, 2003
Liste complète des métadonnées

https://hal.inria.fr/inria-00099551
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:38:30
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • HAL Id : inria-00099551, version 1

Collections

Citation

Vincent Cridlig, Olivier Festor, Jacques Guyard, Pierre-Etienne Moreau. Formalisation et évaluation de politiques P3P. Colloque Francophone sur l'Ingénierie des Protocoles - CFIP 2003, Oct 2003, Paris, France, 16 p, 2003. 〈inria-00099551〉

Partager

Métriques

Consultations de la notice

128