% File              : kaoChow2.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
{Kao Chow Authentication v.2}%
% authors
{I Long Kao and Randy Chow}%
% date of the first publication
{1995}%
% editor name
{}%
% date of submission
{}%
% date of last change, empty or = date of submission
{11/11/2002}

\begin{abstract}
Key distribution and authentication protocol.
Symmetric keys cryptography with server.
\end{abstract}

\begin{remark}
This protocol is a correction of  \crossref{kaoChow1}
to prevent a freshness attack {\`a} la Denning Sacco attack 
(see \crossref{nssk}).
\end{remark}


\begin{core}
\begin{declarations}
\dcl{A, B, S}{principal}
\dcl{Na, Nb}{number}
\dcl{Kab, Kbs, Kas}{key}
\end{declarations}

\begin{messages}
\msg{1}{A}{S}{A, B, Na}
\msg{2}{S}{B}{\crypt{A, B, Na, Kab, Kt}{Kas}, 
              \crypt{A, B, Na, Kab, Kt}{Kbs}}
\msg{3}{B}{A}{B, \crypt{A, B, Na, Kab, Kt}{Kas}, \crypt{Na, Kab}{Kt}, Nb}
\msg{4}{A}{B}{\crypt{Nb, Kab}{Kt}}
\end{messages}
\end{core}

\begin{explanation}
See \crossref{kaoChow1}.
\code{Kt} is an additional fresh symmetric key whose purpose
is to prevent a freshness attack as in \crossref{kaoChow1}.
\end{explanation}

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

\begin{references}
\cite{KaoChow95}.

This specification of the protocol 
differs from the one in \cite{ClarkJacob97}.
\end{references}

\begin{proofs}
\cite{KaoChow95}
\end{proofs}


\begin{see} %\crossref{}, see all.aux for labels names
\crossref{kaoChow1},
\crossref{kaoChow3},
\crossref{nssk},
\crossref{neumannStubblebine}.
\end{see}

\end{protocol}
\end{document}

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