Distributed-knowledge Authorization Language January 2008 Revision

  title={Distributed-knowledge Authorization Language January 2008 Revision},
  author={Yuri Gurevich and Itay Neeman},
DKAL is an expressive declarative authorization language based on existential fixed-point logic. It is considerably more expressive than existing languages in the literature, and yet feasible. Our query algorithm is within the same bounds of computational complexity as e.g. that of SecPAL. DKAL’s distinguishing features include • explicit handling of knowledge and information, • targeted communication that is beneficial with respect to confidentiality, security, and liability protection, • the… CONTINUE READING
1 Citations
17 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 17 references

A unified Approach to Trust, Delegation, and Authorization in Large-Scale Grids

  • Blair Dillaway
  • Technical Paper, Microsoft Corporation, September…
  • 2006
1 Excerpt

Assertions and Protocol for the OASIS Security Assertion Markup Language (SAML) V2.0

  • S. Cantor, J. Kemp, R. Philpott, E. Maler
  • OASIS Standard saml-core-2.0-os,
  • 2005

Similar Papers

Loading similar papers…