Specification logics and Inference tools for verification and Enforcement of Policies


CALL: 2011

DOMAIN: IS - Information and Communication Technologies


LAST NAME: Van Der Torre



HOST INSTITUTION: University of Luxembourg


START: 2012-06-01

END: 2017-04-30

WEBSITE: https://www.uni.lu

Submitted Abstract

During the past three years, we observe the following two trends. On theone hand, the complexity of policies is increasing from relatively simple access control models to more complex distributed and privacy aware policies. On the other hand, general purpose rst order logic based frameworks replace dedicated special purpose frameworks to give complete logical formalizations.The proposed project SIEP denes complex composite distributed access con-trol policies, including delegation and revocation of access rights, dynamic aspects such as evolving policies, trust, or belief of agents, it develops tools for verication, checking compliance, experimentation, simulation and analysis of policies, and it creates a prototype system to enforce distributed access control policies. It uses a single specication for both compile-time” verication and analysis, and run-time” resolution of authorization requests, such that techniques which thus far were used for compile-time” only, like giving explanations for access refusals, can now also be used at run-time”. SIEP combines the complementary knowledge of the University of Leuven and theUniversity of Luxembourg, establishing a new scientic relation between the two institutes.This is an application for a joint research project between Flanders andLuxemburg, falling in the scope of the international scientic cooperationbetween FWO (Flanders) and FNR (Luxemburg).

This site uses cookies. By continuing to use this site, you agree to the use of cookies for analytics purposes. Find out more in our Privacy Statement