Compiling and Verifying Security Protocols (2000)

by F Jacquemard, M Rusinowitch, L Vigneron
Venue:Logic for Programming and Automated Reasoning, volume 1955 of Lecture Notes in Computer Science