Integrity Constraints in Trust Management

Relatore:  Sandro Etalle - Universita` di Twente, DIES: distributed and embedded system group
  martedì 10 maggio 2005 alle ore 17.30 ore 17.00: te`, caffe` & C.
Abstract: We introduce the use, monitoring, and enforcement of
integrity constraints in trust management (TM) style authorizatio
systems. We show how this relates to the safety problem of TM. We
consider what portions of the policy state must be monitored to detect
violations of integrity constraints. Then we address the fact that not
all participants in a trust management system can be trusted to assist
in such monitoring, and show how many integrity constraints can be
monitored in a conservative manner so that trusted participants detect
and report if the system enters a policy state from which evolution in
unmonitored portions of the policy could lead to a constraint

Related areas: Logic and formal methods, languages, security and
safety analysis, access control.

Ca' Vignal - Piramide, Piano 0, Sala Verde

Roberto Giacobazzi

Referente esterno
Data pubblicazione
5 maggio 2005

Offerta formativa