\xcalways\section{Secure channels}\x

%%%         * Secure channels: unauthenticated and authenticated links
%%%           models; authenticators and simulation; the message transfer
%%%           protocol and MT-authenticators; key-exchange, SK-security,
%%%           perfect forward secrecy and Diffie-Hellman.

\endinput

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "ips"
%%% End: 
