Automated verification of selected equivalences for security protocols (0)

by B Blanchet, M Abadi, C Fournet
Venue:Journal of Logic and Algebraic Programming