A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Véronique Cortier' in GoogleThis author has not been identified. Look up 'Michaël Rusinowitch' in GoogleThis author has not been identified. Look up 'Eugen Zalinescu' in Google

runs on WebDSL