Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
An introduction to DKAL

Andreas Blass, Guido de Caso, and Yuri Gurevich

Abstract

We describe the current version of the Distributed Knowledge Authorization Language (DKAL) and some proposed extensions. The changes, in comparison with previous versions on DKAL, include an extension of primal infon logic to include a weak form of disjunction, the explicit binding of variables in infons and in rules, the possibility of updating a principal's policy, a more detailed treatment of a principal's datasources, and the introduction of DKAL communities.

Details

Publication typeTechReport
NumberMSR-TR-2012-108
> Publications > An introduction to DKAL