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.
fbbd9b60846c202528784a869a4008018381ae5c6c81a9420112f8cc31dc1a50