Computer-assisted verification of a protocol for certified email

Bruno Blanchet
Sci. Comput. Program., 58 (2005), pp. 3-27

Abstract

×