This document presents semi-formal specifications of the
security protocol SSH, more specifically the transport layer
protocol, and describes a source code review of OpenSSH, the
leading implementation of SSH, using these specifications.
Read more https://packetstormsecurity.com/files/159101/ssh-specifications.pdf