Automated verification of selected equivalences for security protocols

Bruno Blanchet
Cédric Fournet
J. Log. Algebr. Program., 75 (2008), pp. 3-51

Abstract