I am using HMAC+SHA256 to sign and verify claims in a web application. Each deployment has its own crypto-random 512-bit secret that I can use as the HMAC key, but in some cases I want to mix in another secret as well. For example, by mixing in the user's hashed password as part of the key, the token becomes invalid as soon as the user changes their password, which is useful for password reset links.
My main question is: What is the proper way to mix multiple secrets together to form an HMAC key?
One possibility is to concatenate the secrets together, but I've already hit the max effective key length of HMAC+SHA256 with my 512-bit instance-wide secret. Is XOR a better alternative?
Or is there a better way to mix multiple keys together, such as nesting HMAC calls? E.g.
HMAC(HMAC(claims, secret1), secret2)?
As an ancillary question: Is it appropriate to do this in the first place? I like being able to say that if secret X changes, then the token is automatically invalid, without exposing the secret as a claim. Signing the token with multiple secrets seems like a great way to do that. Are there any concerns I should be aware of, using secrets (particularly the user's hashed password) in this way?