tokens: ['', 'If', 'NAS', 'integrity', 'verification', 'fails', 'UE', 'sends', 'NAS', 'SMC', 'Reject', 'message', 'carrying', 'IWF', 'SMC', 'Reject', 'message', 'to', 'MME', 'MME', 'forwards', 'the', 'IWF', 'SMC', 'Reject', 'message', 'to', 'MTCIWF', '', 'If', 'NAS', 'integrity', 'verification', 'is', 'successful', 'UE', 'derives', 'Kiwf', 'and', 'subkeys', 'UE', 'uses', 'the', 'Kasme', 'indicated', 'by', 'the', 'eKSI', 'in', 'NAS', 'Security', 'Mode', 'Command', '', 'UE', 'performs', 'integrity', 'verification', 'on', 'the', 'IWF', 'SMC', 'using', 'the', 'integrity', 'subkey', 'derived', 'by', 'UE', '', 'UE', 'sends', 'the', 'NAS', 'SMC', 'Complete', 'carrying', 'IWF', 'SMC', 'Complete', 'to', 'MME', 'IWF', 'SMC', 'Complete', 'message', 'can', 'be', 'integrity', 'protected', '', 'Or', 'UE', 'sends', 'IWF', 'SMC', 'Reject', 'message', 'carried', 'in', 'NAS', 'SMC', 'Complete', 'if', 'the', 'verification', 'in', 'Step', '', 'fails', 'Or', 'MME', 'forwards', 'the', 'IWF', 'SMC', 'Complete', 'or', 'IWF', 'SMC', 'Reject', 'message', 'to', 'MTCIWF', '', 'MTCIWF', 'can', 'perform', 'integrity', 'verification', 'on', 'the', 'IWF', 'SMC', 'Complete', 'message', '', 'Security', 'association', 'is', 'established', 'between', 'UE', 'and', 'MTCIWF', 'and', 'they', 'can', 'start', 'secure', 'communication', 'If', 'MTCIWF', 'received', 'IWF', 'SMC', 'Complete', 'and', 'integrity', 'verification', 'is', 'passed', 'at', 'Step', '', 'when', 'it', 'is', 'carried', 'If']