Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu. A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. In Pedro Barahona, Amy P. Felty, editors, Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal. pages 12-22, ACM, 2005. [doi]
@inproceedings{CortierRZ05,
title = {A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures},
author = {Véronique Cortier and Michaël Rusinowitch and Eugen Zalinescu},
year = {2005},
doi = {10.1145/1069774.1069776},
url = {http://doi.acm.org/10.1145/1069774.1069776},
tags = {protocol},
researchr = {https://researchr.org/publication/CortierRZ05},
cites = {0},
citedby = {0},
pages = {12-22},
booktitle = {Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal},
editor = {Pedro Barahona and Amy P. Felty},
publisher = {ACM},
isbn = {1-59593-090-6},
}