{\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
Armando, Alessandro, D.A. Basin, and Y. Boichut. "\i The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications\i0 ." In \i International Conference on Computer Aided Verification CAV 2005\i0 . Heidelberg: Springer, 2005.\par \par }