Specifying algorithms for SSH2