{\rtf1\ansi\deff0\deftab360

{\fonttbl
{\f0\fswiss\fcharset0 Arial}
{\f1\froman\fcharset0 Times New Roman}
{\f2\fswiss\fcharset0 Verdana}
{\f3\froman\fcharset2 Symbol}
}

{\colortbl;
\red0\green0\blue0;
}

{\info
{\author Biblio 7.x}{\operator }{\title Biblio RTF Export}}

\f1\fs24
\paperw11907\paperh16839
\pgncont\pgndec\pgnstarts1\pgnrestart
Blanchet, Bruno. "\i Using Horn Clauses for Analyzing Security Protocols\i0 ." In \i Formal Models and Techniques for Analyzing Security Protocols\i0 , 86-111. Amsterdam: IOS Press, 2011.\par \par Abadi, Martin, and Bruno Blanchet. "Analyzing Security Protocols with Secrecy Types and Logic Programs." \i Journal of the ACM\i0  52, no. 1 (2005): 102-146.\par \par }