tokens: ['message', 'with', 'that', 'estimated', 'NAS', 'downlink', 'COUNT', 'In', 'particular', 'the', 'stored', 'NAS', 'downlink', 'COUNT', 'shall', 'never', 'be', 'decreased', 'UE', 'and', 'MME', 'shall', 'assign', 'the', 'value', 'of', 'eKSI', 'to', 'KSI', 'MME', 'shall', 'transfer', 'CKSRVCC', 'IKSRVCC', 'with', 'KSI', 'and', 'the', 'UE', 'security', 'capability', 'to', 'the', 'MSC', 'server', 'enhanced', 'for', 'SRVCC', 'The', 'MSC', 'server', 'enhanced', 'for', 'SRVCC', 'shall', 'replace', 'all', 'the', 'stored', 'UTRAN', 'CS', 'key', 'parameters', 'CK', 'IK', 'KSI', 'if', 'any', 'with', 'CKSRVCC', 'IKSRVCC', 'KSI', 'received', 'from', 'the', 'MME', 'when', 'the', 'SRVCC', 'handover', 'is', 'successful', 'The', 'UE', 'shall', 'replace', 'all', 'the', 'stored', 'UTRAN', 'CS', 'key', 'parameters', 'CK', 'IK', 'KSI', 'if', 'any', 'with', 'CKSRVCC', 'IKSRVCC', 'KSI', 'in', 'both', 'ME', 'and', 'USIM', 'STARTCS', 'shall', 'comply', 'with', 'the', 'rules', 'in', 'TS', '', '', 'The', 'ME', 'shall', 'use', 'CKSRVCC', 'and', 'IKSRVCC', 'to', 'derive', 'the', 'GSM', 'CS', 'Kc', 'using', 'the', 'c', 'function', 'specified', 'in', 'TS', '', '', 'The', 'ME', 'shall', 'assign', 'the', 'eKSI', 'value', 'associated', 'with', 'CKSRVCC', 'and', 'IKSRVCC', 'to', 'the', 'GSM', 'CS', 'CKSN', 'associated', 'with', 'the', 'GSM', 'CS', 'Kc', 'The', 'ME', 'shall', 'update', 'the', 'USIM', 'and', 'ME', 'with', 'the', 'GSM', 'CS', 'Kc', 'and', 'GSM', 'CS', 'CKSN', 'NOTE', '', 'The', 'new', 'derived']