None
An algorithm that verifies if a purported MAC is valid for a given message and key.
Source(s):
NIST SP 800-38B
under MAC Verification (Verification)