Suchergebnisse

Stage de DEA. Rapport de stage. ; 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.

Stage de DEA. Rapport de stage. ; 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.

Colloque avec actes et comité de lecture. internationale. ; International audience ; 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.

Colloque avec actes et comité de lecture. internationale. ; International audience ; 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.