Analyzing security protocols with secrecy types and logic programs.

Martín Abadi Bruno Blanchet Analyzing security protocols with secrecy types and logic programs. 33-44 2002 POPL http://doi.acm.org/10.1145/503272.503277 db/conf/popl/popl2002.html#AbadiB02