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

Andreas Blass, Guido de Caso, and Yuri Gurevich


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.


Publication typeTechReport
> Publications > An introduction to DKAL