Formalisation et évaluation de politiques P3P - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2003

Formalisation et évaluation de politiques P3P

Abstract

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.

Domains

Other [cs.OH]
Not file

Dates and versions

inria-00099551 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00099551 , version 1

Cite

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. ⟨inria-00099551⟩
50 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More