tokens: ['derivation', 'and', 'MSK', 'validation', 'and', 'derivation', 'as', 'described', 'in', 'clause', '', 'After', 'successful', 'MSK', 'Update', 'procedure', 'the', 'UICC', 'stores', 'the', 'Key', 'Domain', 'ID', 'MSK', 'ID', 'MSK', 'and', 'MSK', 'Validity', 'Time', 'in', 'the', 'form', 'of', 'MTK', 'ID', 'interval', 'Figure', 'D', 'MSK', 'Update', 'Procedure', 'In', 'case', 'the', 'MSK', 'update', 'MIKEY', 'message', 'is', 'acceptable', 'ie', 'the', 'received', 'MSK', 'ID', 'corresponds', 'to', 'the', 'last', 'generated', 'MUK', 'in', 'the', 'UE', 'and', 'the', 'MSK', 'Update', 'procedure', 'has', 'been', 'performed', 'successfully', 'and', 'the', 'Vbit', 'was', 'set', 'in', 'the', 'HDR', 'then', 'a', 'MSK', 'Verification', 'Message', 'as', 'described', 'in', 'clause', '', 'MSK', 'Verification', 'message', 'shall', 'be', 'produced', 'The', 'UICC', 'uses', 'the', 'same', 'MUK', 'ID', 'and', 'TS', 'which', 'were', 'received', 'from', 'the', 'MSK', 'MIKEY', 'Message', 'see', 'clause', '', 'for', 'the', 'MSK', 'Verification', 'Message', 'Generation']