3 search results - page 1 / 1 » DKAL: Distributed-Knowledge Authorization Language |
CSFW
2008
IEEE
14 years 5 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
BIRTHDAY
2010
Springer
14 years 21 hour ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
TRUSTBUS
2009
Springer
14 years 5 months ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...