Formalisation et évaluation des politiques de sécurité et de respect de la vie privée en ELAN

Vincent Cridlig 1 Jacques Guyard 1
1 MADYNES - Management of dynamic networks and services
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Ce rapport s'intéresse à la formalisation des politiques de sécurité dans un langage formel basé sur le principe de réécriture (ELAN). Il décrit le langage P3P basé sur XML et sa formalisation en ELAN qui permet ensuite d'évaluer des politiques écrites dans ce langage. P3P permet l'expression des pratiques des sites web concernant la collecte et l'utilisation des données personnelles.
Type de document :
Rapport
[Stage] A03-R-204 || cridlig03a, 2003, 54 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00107681
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:04:58
Dernière modification le : jeudi 11 janvier 2018 - 06:19:49
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 12:54:50

Identifiants

  • HAL Id : inria-00107681, version 1

Collections

Citation

Vincent Cridlig, Jacques Guyard. Formalisation et évaluation des politiques de sécurité et de respect de la vie privée en ELAN. [Stage] A03-R-204 || cridlig03a, 2003, 54 p. 〈inria-00107681〉

Partager

Métriques

Consultations de la notice

192

Téléchargements de fichiers

50