Compiling and verifying security protocols (2000)

by F Jacquemard, M Rusinowitch, L Vigneron
Venue:In Logic Programming and Automated Reasoning