Actually HMAC the tsmac instead of just hashing it