Notation

Description

The tag’s secret keys stored in the tag

The current secret keys of the tag and its last secret keys stored in the backend server/reader

A secure cryptographic Hash function

Two random numbers generated by the backend server/reader and the tag

Bitwise XOR operation