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

Budget Code: I2R-DIR-PFN-11SIEP
Funding: FNR - INTER
Start Date: June 1, 2012
End Date: May 31, 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.

Members