/cvs/krbdev/krb5/doc/krb5-protocol
