High-level interface to Kerberos