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#.

Try DKAL online in your browser: http://www.rise4fun.com/dkal

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.

Last edited May 4 at 6:50 PM by amelentev, version 28