@inproceedings{CortierZ-LPAR06, author = {V\'eronique Cortier and Eugen Zalinescu}, title = {Deciding key cycles for security protocols}, booktitle = {13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'06)}, year = 2006, pages = {317 - 331}, series = {Lecture Notes in Artificial Intelligence}, volume = {4246}, publisher = {Springer}, doi = {10.1007/11916277_22}, }