An authorization logic with explicit time (2008)

by Henry DeYoung, Deepak Garg, Frank Pfenning
Venue:In Proc. CSF