Automated verification of selected equivalences for security protocols

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

Abstract

Research Areas