[Retracted] A Novel Variable Pseudonym Scheme for Preserving Privacy User Location in 5G Networks

Table 4

ProVerif results on the current 5G procedure.

Properties	C-RNTI	V-RNTI
Unlinkability	X	✓
Anonymity	X	✓
Untraceability	X	✓

Note. √ proved to hold, х attack found