PuTTY with support for GSS-API key exchange