% 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
{BAN modified Andrew Secure RPC}%
% authors
{Michael Burrows and Martin Abadi and Roger Needham}%
% date of the first publication
{1987}%
% editor name
{}%
% date of submission
{}%
% date of last change, empty or = date of submission
{14/11/2002}


\begin{abstract}
Modified version of \crossref{andrew} correcting
a freshness flaw.
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, \crypt{Na}{Kab}} 
\msg{2}{B}{A}{\crypt{succ{Na}, Nb}{Kab}}
\msg{3}{A}{B}{\crypt{succ{Nb}}{Kab}}
\msg{4}{B}{A}{\crypt{K'ab, N'b, Na}{Kab}}
\end{messages}
\end{core}

\begin{explanation}
The nonce \code{Na} has been added to
the message \code{4} of \crossref{andrew}
to prevent the flow presented in \crossref{andrew}.
\end{explanation}

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

\begin{references}
\cite{BurrowsAbadiNeedham89}
\end{references}

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

\end{protocol}
\end{document}

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