Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader. Timed model checking of security protocols. In Vijayalakshmi Atluri, Michael Backes, David A. Basin, Michael Waidner, editors, Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washingtion, DC, USA, October 29, 2004. pages 23-32, ACM, 2004. [doi]
@inproceedings{CorinEHM04,
title = {Timed model checking of security protocols},
author = {Ricardo Corin and Sandro Etalle and Pieter H. Hartel and Angelika Mader},
year = {2004},
doi = {10.1145/1029133.1029137},
url = {http://doi.acm.org/10.1145/1029133.1029137},
tags = {model checking, meta-model, protocol, security, Meta-Environment},
researchr = {https://researchr.org/publication/CorinEHM04},
cites = {0},
citedby = {0},
pages = {23-32},
booktitle = {Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washingtion, DC, USA, October 29, 2004},
editor = {Vijayalakshmi Atluri and Michael Backes and David A. Basin and Michael Waidner},
publisher = {ACM},
isbn = {1-58113-971-3},
}