Re: RFC 5077 ticket key derivation