Computer-Assisted Verification of a Protocol for Certified Email

Bruno Blanchet
SAS(2003), pp. 316-335

Abstract

Research Areas