Open Access BASE2003

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

Cridlig, Vincent; Guyard, Jacques

Open Access

Abstract

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.

Problem melden

Wenn Sie Probleme mit dem Zugriff auf einen gefundenen Titel haben, können Sie sich über dieses Formular gern an uns wenden. Schreiben Sie uns hierüber auch gern, wenn Ihnen Fehler in der Titelanzeige aufgefallen sind.