Paul F. Syverson Adding Time to a Logic of Authentication. 97-101 1993 ACM Conference on Computer and Communications Security http://doi.acm.org/10.1145/168588.168600 db/conf/ccs/ccs1993.html#Syverson93