1 \xcalways\section{Secure channels
}\x
3 %%% * Secure channels: unauthenticated and authenticated links
4 %%% models; authenticators and simulation; the message transfer
5 %%% protocol and MT-authenticators; key-exchange, SK-security,
6 %%% perfect forward secrecy and Diffie-Hellman.