3 search results - page 1 / 1 » DKAL: Distributed-Knowledge Authorization Language |
CSFW
2008
IEEE
13 years 11 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
13 years 6 months 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
13 years 11 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...