@inproceedings{CortierRZ-PPDP05, author = {V\'eronique Cortier and Micha\"el Rusinowitch and Eugen Zalinescu}, title = {A {R}esolution {S}trategy for {V}erifying {C}ryptographic {P}rotocols with {CBC} {E}ncryption and {B}lind {S}ignatures}, booktitle = {7th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'05)}, year = 2005, pages = {12--22}, publisher = {ACM Press}, doi = {10.1145/1069774.1069776}, }