\begin{picture}(0,0)%
\epsfig{file=forward_secrecy.pstex}%
\end{picture}%
\setlength{\unitlength}{3355sp}%
%
\begingroup\makeatletter\ifx\SetFigFont\undefined%
\gdef\SetFigFont#1#2#3#4#5{%
  \reset@font\fontsize{#1}{#2pt}%
  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
  \selectfont}%
\fi\endgroup%
\begin{picture}(6600,3885)(1801,-3286)
\put(1801,464){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{\rmdefault}{\bfdefault}{\updefault}Alice}}}
\put(1801,164){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\bfdefault}{\updefault}with long-term secret $A$}}}
\put(8401,464){\makebox(0,0)[rb]{\smash{\SetFigFont{10}{12.0}{\rmdefault}{\bfdefault}{\updefault}Bob}}}
\put(8401,164){\makebox(0,0)[rb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\bfdefault}{\updefault}with long-term secret $B$}}}
\put(8401,-886){\makebox(0,0)[rb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\bfdefault}{\updefault}2.  Pick random $y$}}}
\put(1801,-436){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\bfdefault}{\updefault}1.  Pick random $x$}}}
\put(1801,-1786){\makebox(0,0)[lb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\bfdefault}{\updefault}3.  Compute $K=g^{xy}\pmod{p}$}}}
\put(5101,-2536){\makebox(0,0)[b]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\bfdefault}{\updefault}4.  Encrypt future messages with key $K$}}}
\put(5101,-2836){\makebox(0,0)[b]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\bfdefault}{\updefault}$E_K(m)$}}}
\put(5101,-3286){\makebox(0,0)[b]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\bfdefault}{\updefault}$\cdots$}}}
\put(5101,-511){\makebox(0,0)[b]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\bfdefault}{\updefault}$g^x$}}}
\put(5101,-1411){\makebox(0,0)[b]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\bfdefault}{\updefault}$g^y$, certificate, $E_K(\sigma_B(g^y,g^x))$}}}
\put(5101,-2011){\makebox(0,0)[b]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\bfdefault}{\updefault}certificate, $E_K(\sigma_A(g^x,g^y))$}}}
\put(8401,-1111){\makebox(0,0)[rb]{\smash{\SetFigFont{9}{10.8}{\rmdefault}{\bfdefault}{\updefault}Compute $K=g^{xy}\pmod{p}$}}}
\end{picture}