Formalisation et évaluation des politiques de sécurité et de respect de la vie privée en ELAN - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu
Rapport Année : 2003

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

Vincent Cridlig
  • Fonction : Auteur
  • PersonId : 830441
Management of dynamic networks and services
Jacques Guyard
  • Fonction : Auteur
Management of dynamic networks and services

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
A03-R-204.pdf (1.51 Mo) Télécharger le fichier

Publications Loria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00107681

Soumis le : jeudi 19 octobre 2006-09:04:58

Dernière modification le : jeudi 15 février 2024-03:30:59

Archivage à long terme le : vendredi 25 novembre 2016-12:54:50

Télécharger pour visualiser

Dates et versions

inria-00107681 , version 1 (19-10-2006)

Identifiants

  • HAL Id : inria-00107681 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA IRISA UNIV-LORRAINE INRIA2 LORIA LARA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
140 Consultations
51 Téléchargements

Partager

Gmail Facebook X LinkedIn More