Google Research

Analyzing security protocols with secrecy types and logic programs

Martín Abadi
Bruno Blanchet
J. ACM, 52 (2005), pp. 102-146
Google Scholar

Abstract

×