Jump to Content

Automated verification of selected equivalences for security protocols

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

Abstract

Research Areas