An Authorization Logic With Explicit Time.

Henry DeYoung Deepak Garg Frank Pfenning An Authorization Logic With Explicit Time. 133-145 2008 CSF http://doi.ieeecomputersociety.org/10.1109/CSF.2008.15 conf/csfw/2008 db/conf/csfw/csf2008.html#DeYoungGP08