Distributed Knowledge Authorization Language is a logic-based language for managing polices and trust in distributed scenarios including federated scenarios. In the DKAL world, principals have their own states and compute their own knowledge. DKAL facilitates the analysis of policies. Are the given policies consistent? Do they comply with various regulations? Is privacy protected? And so on.

Implementation and documentation

See the DKAL site at CodePlex


A number of publications appear in the Annotated Articles list of Yuri Gurevich:

216. An introduction to DKAL<\p>

215. Basic primal infon logic.<\p>

212. DKAL*: Constructing executable specifications of authorization protocols

211. Transitive primal infon logic: the propositional case

208. From primal infon logic with individual variables to Datalog

207. Two notes on propositional primal logic

205. Propositional primal logic with disjunction

204. Hilbertian deductive systems, infon logic, and Datalog

203. Evidential Authorization

200. DKAL 2 --- A simplified and improved authorization language

198. Infon logic: the propositional case

197. Operational semantics for DKAL: Application and analysis

191conf. DKAL: Distributed-knowledge authorization language (extended abstract)

191tr. DKAL: Distributed-knowledge authorization language