Automated verification of selected equivalences for security protocols (2005)

by Bruno Blanchet, et al.
Venue:IN 20TH IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS’05