\batchmode
\documentclass[10pt]{article}
\makeatletter
\usepackage{xspace}
\setlength{\textheight}{8.4in}
\setlength{\topmargin}{-0.3in}

\newcommand {\Murphi}{Mur$\varphi$\xspace}

\newcommand {\murphi}{\mbox{Mur$\varphi$}}

\newcommand {\Ver}{\mathit{Ver}}

\newcommand {\Ste}{\mathit{Suite}}

\newcommand {\Sec}{\mathit{Secret}}

\newcommand {\Hash}{\mathrm{Hash}\,}

\newcommand {\Msgs}{\mathit{Messages}}

\newcommand {\Master}{\mathrm{Master}}

\newcommand {\MD}{\mathrm{MD5}\,}

\newcommand {\SHA}{\mathrm{SHA}\,}

\newcommand {\ChCipher}
           {\langle \mathsf{Change\ to\ negotiated\ cipher} \rangle}

\newcommand {\Intercept}
           {\langle I \rangle}

\makeatother
\newenvironment{tex2html_wrap}{}{}
\newwrite\lthtmlwrite
\def\lthtmltypeout#1{{\let\protect\string\immediate\write\lthtmlwrite{#1}}}%
\newbox\sizebox
\begin{document}
\pagestyle{empty}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\varphi $}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline954: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{section}
\stepcounter{section}
\stepcounter{subsection}
\stepcounter{subsection}
\stepcounter{section}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\Sec_C$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1024: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\Sec_S$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1028: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{section}
\stepcounter{subsection}
{\newpage
\clearpage
\samepage \begin{displaymath}\begin{array}{ll}
\Ver_i          \hspace{1in} 
                & \mathrm{SSL\ version\ number\ of\ party}\ \mathit{i} \\ 
\Ste_i          \hspace{1in} 
                & \mathrm{Cryptographic\ preferences\ of\ party}\ \mathit{i} \\ 
N_i             \hspace{1in} 
                & \mathrm{Random\ nonce\ generated\ by\ party}\ \mathit{i} \\ 
\Sec_i          \hspace{1in} 
                & \mathrm{Random\ secret\ generated\ by\ party}\ \mathit{i} \\ 
K_i^+           \hspace{1in} 
                & \mathrm{Public\ encryption\ key\ of\ party}\ \mathit{i} \\ 
V_i             \hspace{1in} 
                & \mathrm{Public\ verification\ key\ of\ party}\ \mathit{i} \\ 
\mathrm{sign}_{\mathit{i}} \{ \ldots \} \hspace{1in}
                & \mathrm{Signed\ by\ party}\ \mathit{i} \\ 
\{ \ldots \}_{K_i^+} \hspace{1in}
                & \mathrm{Encrypted\ by\ public\ key}\ \mathit{K_i^+} \\ 
\mathit{Messages}           \hspace{1in}
                & \mathrm{All\ messages\ up\ to\ this\ point} \\ 
\langle I \rangle	\hspace{1in}
                & \mathrm{Message\ is\ intercepted\ by\ the\ intruder}
\end{array}
\end{displaymath}
}

\stepcounter{subsection}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\{x\}_{K_i^+}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1074: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$K_i^-$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1080: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mathrm{sign}_{\mathit{i}}\{\mathit{x}\}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1086: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$V_i$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1092: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mathrm{Hash}\,\{\mathit{x}\}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1098: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mathrm{Hash}\,\{\mathit{x'}\} = \mathrm{Hash}\,\{\mathit{x}\}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1102: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mathrm{Hash}\,\{\mathit{x'}\}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1108: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$V_{\mathit{CA}}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1110: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mathrm{sign}_{\mathit{CA}} \{ \mathit{i}, K_i^+ \}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1114: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$K_i^+$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1116: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mathrm{sign}_{\mathit{CA}} \{ \mathit{i}, V_i \}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1120: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{subsection}
{\newpage
\clearpage
\samepage \begin{displaymath}\begin{array}{lll}
C \rightarrow S \hspace{.4in} & 
  C,\ \Ver_C,\ \Ste_C \\  \\ 
S \rightarrow C \hspace{.4in} &
  \Ver_S,\ \Ste_S,\ K_S^+ \\  \\ 
C \rightarrow S \hspace{.4in} &
  \{ \Sec_C \}_{K_S^+} \\  \\ 

\langle \mathsf{Change\ to\ negotiated\ cipher} \rangle

\end{array}
\end{displaymath}
}

{\newpage
\clearpage
\samepage \begin{displaymath}\begin{array}{lll}
C \rightarrow S \hspace{.4in} & 
  C,\ \Ver_C,\ \Ste_C \\  \\ 
S \rightarrow C \langle I \rangle \hspace{.4in} &
  \Ver_S,\ \Ste_S,\ K_S^+ \\  \\ 
I \rightarrow C \hspace{.4in} &
  \Ver_S,\ \Ste_S,\ \underline{K_I^+} \\  \\ 
C \rightarrow S \langle I \rangle \hspace{.4in} &
  \{ \Sec_C \}_{K_I^+} \\  \\ 
I \rightarrow S \hspace{.4in} &
  \{ \Sec_C \}_{K_S^+} \\  \\ 

\langle \mathsf{Change\ to\ negotiated\ cipher} \rangle

\end{array}
\end{displaymath}
}

\stepcounter{subsection}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$K_S^+$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1158: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mathrm{sign}_{\mathit{CA}} \{ \mathit{S}, K_S^+ \}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1160: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mathrm{sign}_{\mathit{CA}} \{ \mathit{S},
K_I^+ \}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1162: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mathrm{sign}_{\mathit{CA}} \{ \mathit{I}, K_I^+ \}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1164: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mathrm{sign}_{\mathit{I}} \{ \mathit{S},
K_I^+ \}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1168: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \begin{displaymath}\begin{array}{lll}
C \rightarrow S \hspace{.4in} & 
  C,\ \Ver_C,\ \Ste_C \\  \\ 
S \rightarrow C \hspace{.4in} &
  \Ver_S,\ \Ste_S,\ \mathrm{sign}_{\mathit{CA}} \{ \mathit{S}, K_S^+ \} \\  \\ 
C \rightarrow S \hspace{.4in} &
  \{ \Sec_C \}_{K_S^+} \\  \\ 

\langle \mathsf{Change\ to\ negotiated\ cipher} \rangle

\end{array}
\end{displaymath}
}

{\newpage
\clearpage
\samepage \begin{displaymath}\begin{array}{lll}
\underline{I} \rightarrow S \hspace{.4in} & 
  C,\ \Ver_C,\ \Ste_C \\  \\ 
S \rightarrow C \langle I \rangle \hspace{.4in} &
  \Ver_S,\ \Ste_S,\ \mathrm{sign}_{\mathit{CA}} \{ \mathit{S}, K_S^+ \} \\  \\ 
I \rightarrow S \hspace{.4in} &
  \{ \underline{\Sec_I} \}_{K_S^+} \\  \\ 

\langle \mathsf{Change\ to\ negotiated\ cipher} \rangle

\end{array}
\end{displaymath}
}

\stepcounter{subsection}
{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mathrm{sign}_{\mathit{CA}} \{ \mathit{C},
V_C \}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1176: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mathrm{sign}_{\mathit{C}} \{ \mathrm{Hash}\,(\Sec_C) \}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1178: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$V_C$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1180: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mathrm{sign}_{\mathit{I}} \{
\ldots \}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1188: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mathrm{sign}_{\mathit{C}} \{ \mathrm{Hash}\,(\Sec_I) \}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1190: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mathrm{Hash}\,(\Sec_C)$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1192: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$\mathrm{Hash}\,(\Sec_I)$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1194: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

{\newpage
\clearpage
\samepage \begin{displaymath}\begin{array}{lll}
C \rightarrow S \hspace{.4in} & 
  C,\ \Ver_C,\ \Ste_C \\  \\ 
S \rightarrow C \hspace{.4in} &
  \Ver_S,\ \Ste_S,\ \mathrm{sign}_{\mathit{CA}} \{ \mathit{S}, K_S^+ \} \\  \\ 
C \rightarrow S \hspace{.4in} &
  \mathrm{sign}_{\mathit{CA}} \{ \mathit{C}, V_C \},\
  \{ \Sec_C \}_{K_S^+}, \\ 
  & \mathrm{sign}_{\mathit{C}} \{ \mathrm{Hash}\,(\Sec_C) \} \\  \\ 

\langle \mathsf{Change\ to\ negotiated\ cipher} \rangle

\end{array}
\end{displaymath}
}

{\newpage
\clearpage
\samepage \begin{displaymath}\begin{array}{lll}
C \rightarrow S \langle I \rangle \hspace{.4in} & 
  C,\ \Ver_C,\ \Ste_C \\  \\ 
I \rightarrow S \hspace{.4in} & 
  C,\ \underline{\Ver_I},\ \underline{\Ste_I} \\  \\ 
S \rightarrow C \langle I \rangle \hspace{.4in} &
  \Ver_S,\ \Ste_S,\ \mathrm{sign}_{\mathit{CA}} \{ \mathit{S}, K_S^+ \} \\  \\ 
I \rightarrow C \hspace{.4in} &
  \underline{\Ver_I},\ \underline{\Ste_I},\ \mathrm{sign}_{\mathit{CA}} \{ \mathit{S}, K_S^+ \} \\  \\ 
C \rightarrow S \hspace{.4in} &
  \mathrm{sign}_{\mathit{CA}} \{ \mathit{C}, V_C \},\
  \{ \Sec_C \}_{K_S^+}, \\ 
  & \mathrm{sign}_{\mathit{C}} \{ \mathrm{Hash}\,(\Sec_C) \} \\  \\ 

\langle \mathsf{Change\ to\ negotiated\ cipher} \rangle

\end{array}
\end{displaymath}
}

\stepcounter{subsection}
{\newpage
\clearpage
\samepage \begin{displaymath}\begin{array}{lll}
C \rightarrow S \hspace{.4in} & 
  C,\ \Ver_C,\ \Ste_C \\  \\ 
S \rightarrow C \hspace{.4in} &
  \Ver_S,\ \Ste_S,\ \mathrm{sign}_{\mathit{CA}} \{ \mathit{S}, K_S^+ \} \\  \\ 
C \rightarrow S \hspace{.4in} &
  \mathrm{sign}_{\mathit{CA}} \{ \mathit{C}, V_C \},\
  \{ \Sec_C \}_{K_S^+}, \\ 
  & \mathrm{sign}_{\mathit{C}} \{ \mathrm{Hash}\,(\Sec_C) \} \\  \\ 

\langle \mathsf{Change\ to\ negotiated\ cipher} \rangle \\  \\ 

S \rightarrow C \hspace{.4in} &
  \{ \mathrm{Hash}\,(\Ver_C, \Ste_C, \Ver_S, \Ste_S) \}_{\mathrm{Master}(\Sec_C)} \\  \\ 
C \rightarrow S \hspace{.4in} &
  \{ \mathrm{Hash}\,(\Ver_C, \Ste_C, \Ver_S, \Ste_S) \}_{\mathrm{Master}(\Sec_C)}
\end{array}
\end{displaymath}
}

{\newpage
\clearpage
\samepage \begin{displaymath}\begin{array}{lll}
C \rightarrow S \langle I \rangle \hspace{.4in} & 
  C,\ \Ver_C,\ \Ste_C \\  \\ 
I \rightarrow S \hspace{.4in} & 
  \underline{I},\ \Ver_C,\ \Ste_C \\  \\ 
S \rightarrow I \hspace{.4in} &
  \Ver_S,\ \Ste_S,\ \mathrm{sign}_{\mathit{CA}} \{ \mathit{S}, K_S^+ \} \\  \\ 
I \rightarrow C \hspace{.4in} &
  \Ver_S,\ \Ste_S,\ \mathrm{sign}_{\mathit{CA}} \{ \mathit{S}, K_S^+ \} \\  \\ 
C \rightarrow S \langle I \rangle \hspace{.4in} &
  \mathrm{sign}_{\mathit{CA}} \{ \mathit{C}, V_C \},\
  \{ \Sec_C \}_{K_S^+}, \\ 
  & \mathrm{sign}_{\mathit{C}} \{ \mathrm{Hash}\,(\Sec_C) \} \\  \\ 
I \rightarrow S \hspace{.4in} &
  \underline{\mathrm{sign}_{\mathit{CA}} \{ \mathit{I}, V_I \}},\
  \{ \Sec_C \}_{K_S^+}, \\ 
  & \underline{\mathrm{sign}_{\mathit{I}}} \{ \mathrm{Hash}\,(\Sec_C) \} \\  \\ 

\langle \mathsf{Change\ to\ negotiated\ cipher} \rangle \\  \\ 

S \rightarrow I \hspace{.4in} &
  \{ \mathrm{Hash}\,(\Ver_C, \Ste_C, \Ver_S, \Ste_S) \}_{\mathrm{Master}(\Sec_C)} \\  \\ 
I \rightarrow C \hspace{.4in} &
  \{ \mathrm{Hash}\,(\Ver_C, \Ste_C, \Ver_S, \Ste_S) \}_{\mathrm{Master}(\Sec_C)} \\  \\ 
C \rightarrow S \langle I \rangle \hspace{.4in} &
  \{ \mathrm{Hash}\,(\Ver_C, \Ste_C, \Ver_S, \Ste_S) \}_{\mathrm{Master}(\Sec_C)} \\  \\ 
I \rightarrow S \hspace{.4in} &
  \{ \mathrm{Hash}\,(\Ver_C, \Ste_C, \Ver_S, \Ste_S) \}_{\mathrm{Master}(\Sec_C)}
\end{array}
\end{displaymath}
}

\stepcounter{subsection}
{\newpage
\clearpage
\samepage \begin{displaymath}\begin{array}{lll}
C \rightarrow S \hspace{.4in} & 
  C,\ \Ver_C,\ \Ste_C \\  \\ 
S \rightarrow C \hspace{.4in} &
  \Ver_S,\ \Ste_S,\ \mathrm{sign}_{\mathit{CA}} \{ \mathit{S}, K_S^+ \} \\  \\ 
C \rightarrow S \hspace{.4in} &
  \mathrm{sign}_{\mathit{CA}} \{ \mathit{C}, V_C \},\
  \{ \Sec_C \}_{K_S^+}, \\ 
  & \mathrm{sign}_{\mathit{C}} \{ \mathrm{Hash}\,(\Sec_C) \} \\  \\ 

\langle \mathsf{Change\ to\ negotiated\ cipher} \rangle \\  \\ 

S \rightarrow C \hspace{.4in} &
  \{ \mathrm{Hash}\,(\mathit{Messages}) \}_{\mathrm{Master}(\Sec_C)} \\  \\ 
C \rightarrow S \hspace{.4in} &
  \{ \mathrm{Hash}\,(\mathit{Messages}) \}_{\mathrm{Master}(\Sec_C)}
\end{array}
\end{displaymath}
}

{\newpage
\clearpage
\samepage \begin{displaymath}\begin{array}{lll}
I \rightarrow S \hspace{.4in} & 
  C,\ \Ver_C,\ \Ste_C \\  \\ 
S \rightarrow C \langle I \rangle \hspace{.4in} &
  \Ver_S,\ \Ste_S,\ \mathrm{sign}_{\mathit{CA}} \{ \mathit{S}, K_S^+ \} \\  \\ 
I \rightarrow S \hspace{.4in} &
  \mathrm{sign}_{\mathit{CA}} \{ \mathit{C}, V_C \},\
  \{ \Sec_C \}_{K_S^+}, \\ 
  & \mathrm{sign}_{\mathit{C}} \{ \mathrm{Hash}\,(\Sec_C) \} \\  \\ 

\langle \mathsf{Change\ to\ negotiated\ cipher} \rangle \\  \\ 

S \rightarrow C \langle I \rangle \hspace{.4in} &
  \{ \mathrm{Hash}\,(\mathit{Messages}) \}_{\mathrm{Master}(\Sec_C)} \\  \\ 
I \rightarrow S \hspace{.4in} &
  \{ \mathrm{Hash}\,(\mathit{Messages}) \}_{\mathrm{Master}(\Sec_C)}
\end{array}
\end{displaymath}
}

\stepcounter{subsection}
{\newpage
\clearpage
\samepage \begin{displaymath}\begin{array}{lll}
C \rightarrow S \hspace{.4in} & 
  C,\ \Ver_C,\ \Ste_C,\ N_C \\  \\ 
S \rightarrow C \hspace{.4in} &
  \Ver_S,\ \Ste_S,\ N_S,\ \mathrm{sign}_{\mathit{CA}} \{ \mathit{S}, K_S^+ \} \\  \\ 
C \rightarrow S \hspace{.4in} &
  \mathrm{sign}_{\mathit{CA}} \{ \mathit{C}, V_C \},\
  \{ \Sec_C \}_{K_S^+}, \\ 
  & \mathrm{sign}_{\mathit{C}} \{ \mathrm{Hash}\,(\Sec_C) \} \\  \\ 

\langle \mathsf{Change\ to\ negotiated\ cipher} \rangle \\  \\ 

S \rightarrow C \hspace{.4in} &
  \{ \mathrm{Hash}\,(\mathit{Messages}) \}_{\mathrm{Master}(\Sec_C)} \\  \\ 
C \rightarrow S \hspace{.4in} &
  \{ \mathrm{Hash}\,(\mathit{Messages}) \}_{\mathrm{Master}(\Sec_C)}
\end{array}
\end{displaymath}
}

\stepcounter{subsection}
{\newpage
\clearpage
\samepage \begin{displaymath}\begin{array}{lll}
C \rightarrow S \hspace{.4in} & 
  C,\ \Ver_C,\ \Ste_C,\ N_C \\  \\ 
S \rightarrow C \hspace{.4in} &
  \Ver_S,\ \Ste_S,\ N_S,\ \mathrm{sign}_{\mathit{CA}} \{ \mathit{S}, K_S^+ \} \\  \\ 
C \rightarrow S \hspace{.4in} &
  \mathrm{sign}_{\mathit{CA}} \{ \mathit{C}, V_C \},\
  \{ \Sec_C \}_{K_S^+}, \\ 
  & \mathrm{sign}_{\mathit{C}} \{ \mathrm{Hash}\,(\mathit{Messages}) \} \\  \\ 

\langle \mathsf{Change\ to\ negotiated\ cipher} \rangle \\  \\ 

S \rightarrow C \hspace{.4in} &
  \{ \mathrm{Hash}\,(\mathit{Messages}) \}_{\mathrm{Master}(\Sec_C)} \\  \\ 
C \rightarrow S \hspace{.4in} &
  \{ \mathrm{Hash}\,(\mathit{Messages}) \}_{\mathrm{Master}(\Sec_C)}
\end{array}
\end{displaymath}
}

\stepcounter{subsection}
{\newpage
\clearpage
\samepage \begin{displaymath}\hspace*{-0.2in}
\begin{array}{lll}

\mathtt{ClientHello} \hspace{.2in} &
C \rightarrow S \hspace{.2in} & 
  C,\ \Ver_C,\ \Ste_C, N_C \\  \\ 

\mathtt{ServerHello} \hspace{.2in} &
S \rightarrow C \hspace{.2in} &
  \Ver_S,\ \Ste_S,\ N_S,\ \mathrm{sign}_{\mathit{CA}} \{ \mathit{S}, K_S^+ \} \\  \\ 

\mathtt{ClientVerify} \hspace{.2in} &
C \rightarrow S \hspace{.2in} &
  \mathrm{sign}_{\mathit{CA}} \{ \mathit{C}, V_C \}, \\  & &
  \{ \underline{\Ver_C}, \Sec_C \}_{K_S^+}, \\  & &
  \mathrm{sign}_{\mathit{C}} 
  \{\, \mathrm{Hash}\,(\underline{\mathrm{Master}(\mathit{N_C},\ N_S,\ \Sec_C) + 
                        \mathit{Pad}_2\, +}        \\  & & \hspace{ .83in}
       \underline{\mathrm{Hash}\,(}\mathit{Messages} \underline{+ C\ +}  \\  & & \hspace{1.22in}
             \underline{\mathrm{Master}(\mathit{N_C},\ N_S,\ \Sec_C)\ +}
                                                   \\  & & \hspace{1.22in} 
                        \underline{\mathit{Pad}_1)}) \,\} \\  \\ 

\langle \mathsf{Change\ to\ negotiated\ cipher} \rangle \hspace*{-3in} \\  \\ 

\mathtt{ServerFinished} \hspace{.2in} &
S \rightarrow C \hspace{.2in} &
  \{\, \mathrm{Hash}\,(\underline{\mathrm{Master}(\mathit{N_C},\ N_S,\ \Sec_C) + 
                        \mathit{Pad}_2\, +}   \\  & & \hspace{ .95in}
       \underline{\mathrm{Hash}\,(}\mathit{Messages}\ \underline{+\ S\ +}         
                                              \\  & & \hspace{1.34in}
             \underline{\mathrm{Master}(\mathit{N_C},\ N_S,\ \Sec_C)\ +} 
                                              \\  & & \hspace{1.34in} 
                        \underline{\mathit{Pad}_1)})
                        \,\}_{\mathrm{Master}(\underline{N_C,\ N_S,}\ \Sec_C)} \\  \\ 

\mathtt{ClientFinished} \hspace{.2in} &
C \rightarrow S \hspace{.2in} &
  \{\, \mathrm{Hash}\,(\underline{\mathrm{Master}(\mathit{N_C},\ N_S,\ \Sec_C) + 
                        \mathit{Pad}_2\, +}   \\  & & \hspace{ .95in}
       \underline{\mathrm{Hash}\,(}\mathit{Messages}\ \underline{+\ C\ +}         
                                              \\  & & \hspace{1.34in}
             \underline{\mathrm{Master}(\mathit{N_C},\ N_S,\ \Sec_C)\ +} 
                                              \\  & & \hspace{1.34in} 
                        \underline{\mathit{Pad}_1)})
                        \,\}_{\mathrm{Master}(\underline{N_C,\ N_S,}\ \Sec_C)} \\  \\ 
\end{array}
\end{displaymath}
}

\stepcounter{section}
{\newpage
\clearpage
\samepage \begin{eqnarray*}\lefteqn{ \mathrm{Master}(\mathit{N_C}, N_S, \Sec_C) = } \\ 
& & \mathrm{MD5}\,(\mathit{\Sec_C} + 
        \mathrm{SHA}\,(\mathit{\mbox{'}A\mbox{'}} + \Sec_C + N_C + N_S)) \ + \\ 
& & \mathrm{MD5}\,(\mathit{\Sec_C} + 
        \mathrm{SHA}\,(\mathit{\mbox{'}BB\mbox{'}} + \Sec_C + N_C + N_S)) \ + \\ 
& & \mathrm{MD5}\,(\mathit{\Sec_C} + 
        \mathrm{SHA}\,(\mathit{\mbox{'}CCC\mbox{'}} + \Sec_C + N_C + N_S))
\end{eqnarray*}
}

{\newpage
\clearpage
\samepage \setbox\sizebox=\hbox{$^{\mbox{{\tiny TM}}}$}\lthtmltypeout{latex2htmlSize :tex2html_wrap_inline1388: \the\ht\sizebox::\the\dp\sizebox.}\box\sizebox
}

\stepcounter{section}

\end{document}
