% File              : wooLamPi3.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
{Woo and Lam Pi 3}%
% authors
{Woo, Lam}%
% date of the first publication
{1994}%
% editor name
{}%
% date of submission
{}%
% date of last change, empty or = date of submission
{27/10/2001}

\begin{abstract}
One way authentification protocol with
public keys and trusted server, 
simplification of~\crossref{wooLamPi2}, ~\crossref{wooLamPi1}, 
and~\crossref{wooLamPif}.
\end{abstract}

\begin{core}
\begin{declarations}
\dcl{A, B, S}{principal}
\dcl{Nb}{nonce}
\dcl{Kas, Kbs}{skey}
\end{declarations}

%\begin{declarations}
%\dcl{A knows}{A, B, Kas}
%\dcl{B knows}{B, S, Kbs}
%\dcl{S knows}{S, Kas, Kbs}
%\end{declarations}

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

%\begin{explanation}
%\end{explanation}

\begin{property}
see \crossref{wooLamPif}.
\end{property}

\begin{references}
\cite{WooLam94}, \cite{ClarkJacob97}.
\end{references}

%\begin{proofs}
%\cite{WooLam94}
%\end{proofs}

%\begin{attacks}
%No known attacks.
%\end{attacks}

%\begin{remark}
%\end{remark}

\begin{see} %\crossref{}, see all.aux for labels names
\crossref{wooLamPif},
\crossref{wooLamPi1},
\crossref{wooLamPi2},
\crossref{wooLamPi}.
\end{see}

\end{protocol}
\end{document}

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