tokens: ['The', 'NAF', 'reads', 'its', 'available', 'data', 'associated', 'with', 'the', 'user', 'and', 'the', 'application', 'for', 'which', 'the', 'NAF', 'SA', 'shall', 'be', 'established', 'The', 'NAF', 'then', 'determines', 'the', 'Ua', 'security', 'protocol', 'identifier', 'to', 'use', 'in', 'the', 'request', 'to', 'the', 'BSF', 'It', 'also', 'determines', 'the', 'required', 'lifetime', 'of', 'the', 'NAF', 'SA', 'The', 'NAF', 'then', 'generates', 'the', 'GPI', 'request', 'containing', 'the', 'parameters', 'as', 'given', 'in', 'table', '', '', 'If', 'the', 'NAF', 'has', 'received', 'an', 'AUTS', 'parameter', 'and', 'a', 'RAND', 'from', 'the', 'UE', 'indicating', 'that', 'a', 'synchronisation', 'failure', 'has', 'occurred', 'on', 'the', 'USIM', 'when', 'the', 'UE', 'processed', 'the', 'previous', 'GPI', 'then', 'the', 'NAF', 'shall', 'use', 'the', 'RAND', 'to', 'identify', 'the', 'corresponding', 'NAF', 'SA', 'for', 'this', 'particular', 'UE', 'and', 'include', 'the', 'AUTS', 'and', 'the', 'RAND', 'in', 'the', 'new', 'NAF', 'GPI', 'request', 'to', 'the', 'BSF', 'If', 'the', 'NAF', 'has', 'received', 'the', 'RAND', 'and', 'AUTS', 'protected', 'via', 'the', 'Ua', 'interface', 'the', 'NAF', 'may', 'invalidate', 'the', 'NAF', 'SA', 'until', 'it', 'has', 'received', 'a', 'new', 'GPI', 'response', 'from', 'the', 'BSF', '', 'NOTE', '', 'Allowing', 'the', 'NAF', 'to', 'invalidate', 'the', 'NAF', 'SA', 'is', 'Ua', 'protocol', 'specific', 'If', 'the', 'NAF', 'invalidates', 'the', 'NAF', 'SA', 'when', 'it', 'receives', 'the', 'AUTS']