Page d'accueil // Recherche // FSTC // Computer Sci... // Projets de r... // Specification logics and Inference tools for verification and Enforcement of Policies

Specification logics and Inference tools for verification and Enforcement of Policies

Code budgetaire: I2R-DIR-PFN-11SIEP
Financement: FNR - INTER
Date de début: 1 juin 2012
Date de fin: 31 mai 2017

Description

The aim of SIEP is to develop an expressive logic for specifying distributed authorization policies and to implement various forms of inference suitable for verification tasks (e.g., compliance) as well as for enforcing such policies. There are three objectives.

Objective 1 is to develop an expressive modular logical framework suitable for specifying complex composite distributed access control policies, which allow for delegation and revocation of access rights, dynamic aspects such as evolving policies, trust, and the representation of the beliefs of agents.

Objective 2 is to develop tools for verification, checking compliance, experimentation, simulation and analysis of access control and privacy policies.

Objective 3 is the creation of a prototype system to enforce distributed access control policies.

Membres