Integrating Single-use Authentication Mechanisms with Kerberos