Proxies for HTTP{,S} transport of Kerberos traffic