Invitation to the Informatik-Kolloquium

======================================

Time and Date: Friday the 26th of April, 14:15

Location: B U101, Oettingenstraße 67

Speaker: Yuri Gurevich (Microsoft Research)

Topic: Federated policy management

Abstract:

Consider the interaction of principals where each principal has its own policy and different principals may not trust each other. In one scenario the principals could be pharmaceutical companies, hospitals, biomedical labs and health related government institutions. In another scenario principals could be navy fleets of different and not necessarily friendly nations. In spite of the complexity of interaction, one may want to prove that certain properties remain invariant. For example, in the navy scenario, each fleet should have enough assurances from other fleets to avoid unfortunate incidents. Furthermore, one want to use automated provers to prove invariance. As a natural approach to this problem we present the Distributed Knowledge Authorization Language (DKAL) which is a high-level logic-based language for the principals to communicate.