<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">% File              : example.tex
% Version           : $Revision: 1.2 $
% Last-modified     : $Date: 2005/01/04 11:38:53 $
% Last-modifier     : FJ

\documentclass{splib}

\begin{document}
%
% main environment
\begin{protocol}{Protocol name}
{Authors, institutions...}{0/0/1988}{Editor}{24/12/2002}{24/12/2002}

\begin{abstract}
Short description of the protocol goals
(authentification, key exchange...) and of the 
cryptographic needs (symmetric or public keys algorithms, 
one-way functions, server...).
\end{abstract}

\begin{core}
\begin{declarations}
\dcl{Var1, Var2,...}{type}
\end{declarations}

\begin{messages}
\msg{label}{Sender}{Receiver}{ contents }
\msg{label}{Sender}{Receiver}{ \crypt{contents}{key} }
\end{messages}
\end{core}

\begin{explanation}
Explanation of the steps of the protocol,
defined in the above section. 
It can refers to the messages
labels and to the identifiers used in the protocol definition.
\end{explanation}

\begin{property}
The properties that the protocol is supposed to ensure, 
written in natural language.
\end{property}

\begin{references}
This section cites the work where
the protocol was originally defined, and optionally
also some other important references.

The references are given with bibtex commands like e.g.~\cite{Reference97}.
\end{references}

\begin{proofs}
This section list some known works where the protocol 
has been proved to satisfy one of the properties given above, 
with bibtex commands.
\end{proofs}

\begin{attacks}
This section cites some known works where the protocol 
has been shown \textbf{not} to satisfy one of the properties given
above, 
it is good to give here also a scenario of each attack,
following the examples in~\cite{ClarkJacob97}:\\
\begin{messages}
\msg{label}{Sender}{I(Receiver)}{ contents }
\msg{label}{I(Sender)}{Receiver}{ \crypt{contents}{key} }
\end{messages}

The references are given with bibtex commands.
\end{attacks}

\begin{remark}
A few remarks can be added about e.g. the protocol versions
or related works on this protocol that do not fit in one of the
three above categories.
\end{remark}

\begin{see}
Cross references to other protocols of the library,
using the command \crossref{example}
(here, the cross reference points on the same file, 
for the example purposes).
\end{see}

\end{protocol}
\end{document}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: t
%%% End: 
</pre></body></html>