我想通过 ssh 连接到运行 OpenSSH 的服务器。我的客户端也是OpenSSH。服务器配置为接受 GSSAPI 身份验证，但它使用的密钥表是非标准的，因为主体名称不是通常的名称host/myserver.example.com（其中myserver.example.com是服务器的主机名），而是service/mysql.
我的客户可以通过运行来获取该主体的服务票证kvno service/mysql。如何告诉我的 ssh 客户端连接myserver.example.com但使用service/mysql服务票证？这可能吗？