Specifying an SSH Key Exchange Algorithm