Zhiyao Liang, Rakesh M. Verma. Complexity of Checking Freshness of Cryptographic Protocols. In R. Sekar, Arun K. Pujari, editors, Information Systems Security, 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings. Volume 5352 of Lecture Notes in Computer Science, pages 86-101, 2008. [doi]
@inproceedings{LiangV08:0,
title = {Complexity of Checking Freshness of Cryptographic Protocols},
author = {Zhiyao Liang and Rakesh M. Verma},
year = {2008},
doi = {10.1007/978-3-540-89862-7_6},
url = {http://dx.doi.org/10.1007/978-3-540-89862-7_6},
tags = {protocol},
researchr = {https://researchr.org/publication/LiangV08%3A0},
cites = {0},
citedby = {0},
pages = {86-101},
booktitle = {Information Systems Security, 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings},
editor = {R. Sekar and Arun K. Pujari},
volume = {5352},
series = {Lecture Notes in Computer Science},
isbn = {978-3-540-89861-0},
}