+@itemize
+ @item Server decrypts @code{RS}, @code{RC}, @code{SC},
+ @code{Sign(DSAPriv, K)}.
+
+ @item Compares @code{RS} with its own one sent before. Server
+ decrypts @code{RS}, @code{RC}, @code{SC} with key @code{K}, compares
+ @code{RS} with its own one sent before.
+
+ @item Verifies @code{K} signature with verifier @code{DSAPub}.
+
+ @item Computes final session encryption key:
+ @code{MasterKey=SS XOR SC}.
+@end itemize
+