A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures.

Vronique Cortier, Michal Rusinowitch, Eugen Zalinescu

Browse the full PPDP paper archive.