Yuri Gurevich Itay Neeman DKAL: Distributed-Knowledge Authorization Language. 149-162 2008 CSF http://doi.ieeecomputersociety.org/10.1109/CSF.2008.8 conf/csfw/2008 db/conf/csfw/csf2008.html#GurevichN08