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.
See the DKAL site at CodePlex
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