Michael R. Hansen Robin Sharp Using interval logics for temporal analysis of security protocols. 24-31 2003 conf/ccs/2003fmse FMSE http://doi.acm.org/10.1145/1035429.1035432 db/conf/ccs/ccs2003fmse.html#HansenS03