Source code checked in, #e9be88acb398
SPILrnd: expose SPILsufarr & SPILhash. bugfix in leafkey
View ArticleSource code checked in, #ccc8d79804fc
PPIL: generalize stage1 for optional serialization (needed of BPIL,TPIL,SPILsufarr, not needed for others)
View ArticleUpdated Wiki: Home
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...
View ArticleUpdated Wiki: Logic Engines
Logic Engines DKAL have the following logic engines:"simple" - prolog-like engine with some simple 2nd order infon logic support. linear but incomplete.based on Propositional Primal Infon Logic...
View ArticleUpdated Wiki: Home
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...
View ArticleSource code checked in, #56537e0a688b
update project settings to VS2013 (Community Edition)
View ArticleClosed Feature: Reflection Substrate [8]
Reflection substrate allows DKAL to call specific methods in external libraries via reflection.This can be used to integrate DKAL into some complex systems.Substrate declaration:```datasource...
View ArticleUpdated Wiki: Home
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...
View ArticleNew Post: Question about transitive implication
I modified the forall2.mdkal example in an effort to express transitive implication. Instead of one relation implying two other relations, one relation implies a second which implies a third. The...
View ArticleNew Post: What does DKAL do?
Might as well answer the question even though it is quite old. The paper on DKAL should give the background, but one use case is to concisely express an authorization policy such that authorization...
View Article