Specification logics and Inference tools for verification and Enforcement of Policies
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.