A process used to verify data integrity, e.g., verification that data received are identical to data sent, or verification that a program is not infected by a virus.