% File              : neumannStubblebineHwang.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
{Hwang modified version of Neumann Stubblebine}%
% authors
{T. Hwang and N.Y. Lee and C.M. Li and M.Y. Ko and Y.H. Chen}%
% date of the first publication
{1995}%
% editor name
{}
% submission date
{}
% date of last change, empty or = date of submission
{11/11/2002}

\begin{abstract}
Modified version of the \crossref{neumannStubblebine}
protocol, to correct attack of the repeated authentification part.
\end{abstract}

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

\begin{messages}
\msg{1}{A}{B}{A, Na}
\msg{2}{B}{S}{B, \crypt{A, Na, Tb, Nb}{Kbs}}
\msg{3}{S}{A}{\crypt{B, Na, Kab, Tb}{Kas}, \crypt{A, Kab, Tb}{Kbs}, Nb}
\msg{4}{A}{B}{\crypt{A, Kab, Tb}{Kbs}, \crypt{Nb}{Kab}}
\msg{5}{A}{B}{Ma, \crypt{A, Kab, Tb}{Kbs}}
\msg{6}{B}{A}{Mb, \crypt{Mb}{Kab}}
\msg{7}{A}{B}{\crypt{Mb}{Kab}}
\end{messages}
\end{core}

\begin{explanation}
See \crossref{neumannStubblebine}.
The messages \code{1-4} are the part concerning
the generation and exchange of the session key \code{Kab}.
The messages \code{5-7} is the \emph{repeated authentication} part.
\end{explanation}

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

\begin{references}
\cite{HwangLeeLiKoChen_NeumannStubblebine}
\end{references}

\begin{attacks}
In \cite{ClarkJacob95}, Clark and Jacob describe an attack depending
on the encryption method
(when cipher block chaining is performed for encryption).
\end{attacks}

\begin{see}
\crossref{neumannStubblebine}
\end{see}
\end{protocol}
\end{document}

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