Michael R. Hansen, Robin Sharp. Using interval logics for temporal analysis of security protocols. In Michael Backes, David A. Basin, editors, Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003. pages 24-31, ACM, 2003. [doi]
Abstract is missing.