% File              : andrew.tex
% Version           : $Revision: 1.1 $
% Last-modified     : $Date: 2005/01/04 11:45:32 $
% Last-modifier     : FJ

\documentclass{splib}

\begin{document}
% main environment
\begin{protocol}%
% name
{Lowe modified BAN concrete Andrew Secure RPC}%
% authors
{Gavin Lowe}%
% date of the first publication
{1996}%
% editor name
{}%
% date of submission
{}%
% date of last change, empty or = date of submission
{14/11/2002}

\begin{abstract}
A modified version of the \crossref{andrewBAN2} protocol,
preventing a parallel session attack.
Exchanged of a fresh shared key,
Symmetric key cryptography.
\end{abstract}

\begin{core}
\begin{declarations}
\dcl{A, B}{principal}
\dcl{Kab, K'ab}{symkey}
\dcl{Na, Nb, N'b}{nonce}
\dcl{succ}{nonce -> nonce}
\end{declarations}

\begin{messages}
\msg{1}{A}{B}{A, Na}
\msg{2}{B}{A}{\crypt{Na, K'ab, B}{Kab}}
\msg{3}{A}{B}{\crypt{Na}{K'ab}}
\msg{4}{B}{A}{Nb}
\end{messages}
\end{core}

\begin{explanation}
The identity of the responder \code{B} has
been added in the message \code{2} of \code{andrewBAN2}.
\end{explanation}

\begin{property}
See \crossref{andrew}.
\end{property}

\begin{references}
\cite{Lowe96}
\end{references}

\begin{see} %\crossref{}, see all.aux for labels names
\crossref{andrew},
\crossref{andrewBAN},
\crossref{andrewBAN2}.
\end{see}

\end{protocol}
\end{document}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
