NOMENCLATURE
Indicesπππ π
Random number created by RF receiver πππ π Random number created by WE sensor πππ π Random number created by TPMS Receiver ππΌπ· π Present session pseudonym ππΌπ· π Previous session pseudonym ππΎ π Present session secret-key (SK) ππΎ π Pseudonym for latest session secret -key (SK) βππ β SHA(256)