A Formal Approach to P3P Privacy Policies Evaluation

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
Abstract : Writing and evaluating policies is a recurrent problem over the Internet. These policies, which deal with fields like privacy (P3P), security (P3P) and provisioning (COPS-PR) are often made of many ordered rules. In this paper, we present our work related to P3P rules formalization and validation in an evaluation environnement based on rewriting process. We also develop an environnement which returns the right behavior regarding Internet ressources, P3P policies and APPEL user's preferences.
Type de document :
Communication dans un congrès
9th Open European Summer School and IFIP Workshop on Next Generation Networks - EUNICE 2003, Sep 2003, hungary, Budapest, 6 p, 2003
Liste complète des métadonnées

https://hal.inria.fr/inria-00107682
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:04:59
Dernière modification le : jeudi 11 janvier 2018 - 06:19:57
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:24:15

Identifiants

  • HAL Id : inria-00107682, version 1

Collections

Citation

Vincent Cridlig, Olivier Festor, Jacques Guyard, Pierre-Etienne Moreau. A Formal Approach to P3P Privacy Policies Evaluation. 9th Open European Summer School and IFIP Workshop on Next Generation Networks - EUNICE 2003, Sep 2003, hungary, Budapest, 6 p, 2003. 〈inria-00107682〉

Partager

Métriques

Consultations de la notice

243

Téléchargements de fichiers

56