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]
@inproceedings{HansenS03,
title = {Using interval logics for temporal analysis of security protocols},
author = {Michael R. Hansen and Robin Sharp},
year = {2003},
doi = {10.1145/1035429.1035432},
url = {http://doi.acm.org/10.1145/1035429.1035432},
tags = {protocol, analysis, security, logic},
researchr = {https://researchr.org/publication/HansenS03},
cites = {0},
citedby = {0},
pages = {24-31},
booktitle = {Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003},
editor = {Michael Backes and David A. Basin},
publisher = {ACM},
isbn = {1-58113-781-8},
}