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]
Abstract is missing.