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.