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]
No references recorded for this publication.
No citations of this publication recorded.