The old owner first gives its stored tuple (IDS; ID;Gn+1)
to the new owner. It also sends the verification pair (Gn;Gn+
1) to the TTP. A secret value of PIN is securely shared
between the TTP and the tag. The PIN is pre-installed in
the tag hardware during production and is not accessible to
anyone. The protocol steps are summarized in Figure 2 and
described as follows.