Lambda the Ultimate

Didn't find any threads on DKAL here (using the site's search facility). Very interesting work by Yuri Gurevich et al. What do you think?

"Distributed Knowledge Authorization Language, in short DKAL, is a logic-based language for decentralized polices. Originally it was aimed for authorization policies, but in fact it is appropriate for policies in general. In 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."