An Introduction to DKAL

Andreas Blass, Guido de Caso, Yuri Gurevich

MSR-TR-2012-108 |

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.