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
11. Transitive Primal Infon Logic: the Propositional Case
10. Primal Infon Logic with Individual Variables to Datalog
9. Two notes on propositional primal logic
8. Propositional primal logic with disjunction
7. Hilbertian Deductive Systems, Infon Logic, and Datalog
5. DKAL 2 --- A Simplified and Improved Authorization Language
4. Infon Logic: the Propositional Case
3. Operational Semantics for DKAL: Application and Analysis
2. DKAL: Distributed-Knowledge Authorization Language (Extended Abstract)