Project Description
DKAL (Distributed Knowledge Authorization Language) is a distributed authorization policy language. This project contains an engine for running DKAL policies. It is implemented primarly in F#.
News
Documentation
For a quick start on how to use DKAL, please refer to our documentation on:
Otherwise, if you plan to extend or modify the DKAL engine, please visit our
developer documentation section.
DKAL Challenges
We have collected a
list of interesting theoretical and practical challenges related to DKAL and its underlying infon logic.
Underlying Theory
More information about DKAL, and its underlying theory, please visit our section on
suggested reading, or go directly to
Yuri Gurevich's web page on the topic.