An authorization logic with explicit time (2007)

by H DeYoung, D Garg, F Pfenning