tokens: ['function', 'is', 'publicly', 'known', 'Note', 'that', 'R', 'is', 'not', 'sent', 'along', 'by', 'the', 'UE', 'and', 'hence', 'not', 'known', 'to', 'an', 'outside', 'attacker', 'Note', 'further', 'that', 'the', 'HPLMN', 'cannot', 'by', 'assumption', 'control', 'R', 'and', 'hxres', 'and', 'hence', 'cannot', 'find', 'a', 'preimage', 'of', 'hxres', 'with', 'a', 'false', 'SUPI', 'HPLMN', 'decrypts', 'SUPI', 'and', 'thus', 'obtains', 'SUPI', 'and', 'R', 'When', 'the', 'VPLMN', 'receives', 'from', 'HPLMN', 'the', 'SUPI', 'and', 'R', 'it', 'can', 'quickly', 'calculate', 'hresHSUPIR', 'By', 'comparing', 'hreshxres', 'the', 'VPLMN', 'AMF', 'knows', 'that', 'HPLMN', 'has', 'returned', 'the', 'SUPI', 'under', 'the', 'above', 'assumption', 'which', 'the', 'UE', 'sent', 'in', 'a', 'concealed', 'way', 'The', 'advantage', 'of', 'having', 'the', 'UE', 'sent', 'hxres', 'in', 'addition', 'to', 'SUPI', 'is', 'that', 'the', 'HPLMN', 'needs', 'to', 'return', 'only', 'a', 'random', 'value', 'R', 'in', 'addition', 'to', 'the', 'SUPI', 'and', 'VPLMN', 'can', 'fulfil', 'LI', 'by', 'lightweight', 'calculation', 'of', 'the', 'hash', 'hres', 'NOTE', 'Another', 'option', 'for', 'hxres', 'to', 'be', 'calculated', 'is', 'by', 'HSUPISUPIR', 'In', 'this', 'case', 'the', 'VPLMN', 'uses', 'the', 'combination', 'of', 'SUPI', 'and', 'hxres', 'as', 'an', 'identity', 'proof', 'information', 'from', 'UE', 'When', 'then', 'SUPI', 'and', 'R', 'from', 'HPLMN', 'is', 'received', 'the', 'VPLMN', 'can', 'calculate']