Tools for computing and checking HMAC values for files