An authorization logic with explicit time (2008)

by Henry deYoung, Deepak Garg, Frank Pfenning
Venue:In Proc. of the 21st IEEE Computer Security Foundations Symposium