Analyzing security protocols with secrecy types and logic programs

Bruno Blanchet
J. ACM, 52(2005), pp. 102-146

Abstract

Research Areas