tokens: ['The', 'NAS', 'SMC', 'shown', 'in', 'Figure', '', 'shall', 'be', 'used', 'to', 'establish', 'NAS', 'Security', 'context', 'between', 'the', 'UE', 'and', 'the', 'AMF', 'This', 'procedure', 'consists', 'of', 'a', 'roundtrip', 'of', 'messages', 'between', 'the', 'AMF', 'and', 'the', 'UE', 'The', 'AMF', 'sends', 'the', 'NAS', 'Security', 'Mode', 'Command', 'message', 'to', 'the', 'UE', 'and', 'the', 'UE', 'replies', 'with', 'the', 'NAS', 'Security', 'Mode', 'Complete', 'message', 'NOTE', '', 'The', 'NAS', 'SMC', 'procedure', 'is', 'designed', 'such', 'that', 'it', 'protects', 'the', 'Registration', 'Request', 'against', 'a', 'maninthemiddle', 'attack', 'where', 'the', 'attacker', 'modifies', 'the', 'IEs', 'containing', 'the', 'UE', 'security', 'capabilities', 'provided', 'by', 'the', 'UE', 'in', 'the', 'Registration', 'Request', 'It', 'works', 'as', 'follows', 'if', 'the', 'method', 'completes', 'successfully', 'the', 'UE', 'is', 'attached', 'to', 'the', 'network', 'knowing', 'that', 'no', 'bidding', 'down', 'attack', 'has', 'happened', 'In', 'case', 'a', 'bidding', 'down', 'attack', 'was', 'attempted', 'the', 'verification', 'of', 'the', 'NAS', 'SMC', 'will', 'fail', 'and', 'the', 'UE', 'replies', 'with', 'a', 'reject', 'message', 'meaning', 'that', 'the', 'UE', 'will', 'not', 'attach', 'to', 'the', 'network', 'Figure', '', 'NAS', 'Security', 'Mode', 'Command', 'procedure', 'a', 'The', 'AMF', 'activates', 'the', 'NAS', 'integrity', 'protection', 'before', 'sending', 'the', 'NAS', 'Security', 'Mode', 'Command', 'message', 'b', 'The', 'AMF', 'sends', 'the', 'NAS', 'Security', 'Mode', 'Command', 'message', 'to', 'the', 'UE', 'The', 'NAS', 'Security', 'Mode', 'Command', 'message', 'shall', 'contain', 'the', 'replayed', 'UE', 'security', 'capabilities', 'the', 'selected', 'NAS', 'algorithms', 'and', 'the', 'ngKSI', 'for', 'identifying', 'the', 'KAMF', 'The', 'NAS', 'Security', 'Mode', 'Command', 'message', 'may', 'contain', 'KAMFchangeflag', 'carried', 'in', 'the', 'additional', 'G', 'security', 'parameters', 'IE', 'specified', 'in', 'TS', '', 'NonAccessStratum', 'NAS', 'protocol', 'for', 'G', 'System', 'GS', 'Stage', '', '', '', 'to', 'indicate', 'a', 'new', 'KAMF', 'is', 'calculated', 'a', 'flag', 'requesting', 'the', 'complete', 'initial', 'NAS', 'message', 'see', 'subclause', '', 'AntiBidding', 'down', 'Between', 'Architectures', 'ABBA', 'parameter', 'In', 'the', 'case', 'of', 'horizontal', 'derivation', 'of', 'KAMF', 'during', 'mobility', 'registration', 'update', 'or', 'during', 'multiple', 'registration', 'in', 'same', 'PLMN', 'KAMFchangeflag', 'shall', 'be', 'included', 'in', 'the', 'NAS', 'Security', 'Mode', 'Command', 'message', 'as', 'described', 'in', 'clause', '', 'This', 'message', 'shall', 'be', 'integrity', 'protected', 'but', 'not', 'ciphered', 'with', 'NAS', 'integrity', 'key', 'based', 'on', 'the', 'KAMF', 'indicated', 'by', 'the', 'ngKSI', 'in', 'the', 'NAS', 'Security', 'Mode', 'Command', 'message', 'see', 'Figure', '', 'NOTE', '', 'Void', 'In', 'case', 'the', 'network', 'supports', 'interworking', 'using', 'the', 'N', 'interface', 'between', 'MME', 'and', 'AMF', 'the', 'AMF', 'shall', 'also', 'include', 'the', 'selected', 'EPS', 'NAS', 'algorithms', 'defined', 'in', 'Annex', 'B', 'of', 'TS', '', 'GPP', 'System', 'Architecture', 'Evolution', 'SAE', 'Security', 'architecture', '', '', 'to', 'be', 'used', 'after', 'mobility', 'to', 'EPS', 'in', 'the', 'NAS', 'Security', 'Mode', 'Command', 'message', 'see', 'clause', '', 'The', 'UE', 'shall', 'store', 'the', 'algorithms', 'for', 'use', 'after', 'mobility', 'to', 'EPS', 'using', 'the', 'N', 'interface', 'between', 'MME', 'and', 'AMF', 'The', 'AMF', 'shall', 'store', 'the', 'selected', 'EPS', 'NAS', 'algorithms', 'in', 'the', 'UE', 'security', 'context', 'NOTE', 'a', 'When', 'AMF', 'change', 'happens', 'either', 'due', 'to', 'Nhandover', 'or', 'idle', 'mode', 'mobility', 'the', 'selected', 'EPS', 'NAS', 'algorithms', 'is', 'always', 'included', 'in', 'the', 'G', 'UE', 'security', 'context', 'and', 'provided', 'to', 'the', 'target', 'AMF', 'as', 'part', 'of', 'the', 'G', 'UE', 'security', 'context', 'c', 'The', 'AMF', 'activates', 'NAS', 'uplink', 'deciphering', 'after', 'sending', 'the', 'NAS', 'Security', 'Mode', 'Command', 'message', 'a', 'The', 'UE', 'shall', 'verify', 'the', 'NAS', 'Security', 'Mode', 'Command', 'message', 'This', 'includes', 'checking', 'that', 'the', 'UE', 'security', 'capabilities', 'sent', 'by', 'the', 'AMF', 'match', 'the', 'ones', 'stored', 'in', 'the', 'UE', 'to', 'ensure', 'that', 'these', 'were', 'not', 'modified', 'by', 'an', 'attacker', 'and', 'verifying', 'the', 'integrity', 'protection', 'using', 'the', 'indicated', 'NAS', 'integrity', 'algorithm', 'and', 'the', 'NAS', 'integrity', 'key', 'based', 'on', 'the', 'KAMF', 'indicated', 'by', 'the', 'ngKSI', 'In', 'case', 'the', 'NAS', 'Security', 'Mode', 'Command', 'message', 'includes', 'a', 'KAMFchangeflag', 'the', 'UE', 'shall', 'derive', 'a', 'new', 'KAMF', 'as', 'described', 'in', 'Annex', 'A', 'and', 'set', 'the', 'NAS', 'COUNTs', 'to', 'zero', 'If', 'the', 'verification', 'of', 'the', 'integrity', 'of', 'the', 'NAS', 'Security', 'Mode', 'Command', 'message', 'is', 'successful', 'the', 'UE', 'shall', 'start', 'NAS', 'integrity', 'protection', 'and', 'cipheringdeciphering', 'with', 'the', 'security', 'context', 'indicated', 'by', 'the', 'ngKSI', 'b', 'The', 'UE', 'sends', 'the', 'NAS', 'Security', 'Mode', 'Complete', 'message', 'to', 'the', 'AMF', 'ciphered', 'and', 'integrity', 'protected', 'The', 'NAS', 'Security', 'Mode', 'Complete', 'message', 'shall', 'include', 'PEI', 'in', 'case', 'AMF', 'requested', 'it', 'in', 'the', 'NAS', 'Security', 'Mode', 'Command', 'message', 'The', 'AMF', 'shall', 'set', 'the', 'NAS', 'COUNTs', 'to', 'zero', 'if', 'horizontal', 'derivation', 'of', 'KAMF', 'is', 'performed', 'The', 'UE', 'may', 'include', 'the', 'complete', 'initial', 'NAS', 'message', 'see', 'subclause', '', 'for', 'details', 'If', 'the', 'verification', 'of', 'the', 'NAS', 'Security', 'Mode', 'Command', 'message', 'is', 'not', 'successful', 'in', 'the', 'UE', 'it', 'shall', 'reply', 'with', 'a', 'NAS', 'Security', 'Mode', 'Reject', 'message', 'see', 'TS', '', 'NonAccessStratum', 'NAS', 'protocol', 'for', 'G', 'System', 'GS', 'Stage', '', '', '', 'The', 'NAS', 'Security', 'Mode', 'Reject', 'message', 'and', 'all', 'subsequent', 'NAS', 'messages', 'shall', 'be', 'protected', 'with', 'the', 'previous', 'if', 'any', 'G', 'NAS', 'security', 'context', 'ie', 'the', 'G', 'NAS', 'security', 'context', 'used', 'prior', 'to', 'the', 'failed', 'NAS', 'Security', 'Mode', 'Command', 'message', 'If', 'no', 'G', 'NAS', 'security', 'context', 'existed', 'prior', 'to', 'the', 'NAS', 'Security', 'Mode', 'Command', 'message', 'the', 'NAS', 'Security', 'Mode', 'Reject', 'message', 'shall', 'remain', 'unprotected', 'NOTE', 'b', 'Void', 'The', 'AMF', 'shall', 'decipher', 'and', 'check', 'the', 'integrity', 'protection', 'on', 'the', 'NAS', 'Security', 'Mode', 'Complete', 'message', 'using', 'the', 'key', 'and', 'algorithm', 'indicated', 'in', 'the', 'NAS', 'Security', 'Mode', 'Command', 'message', 'NAS', 'downlink', 'ciphering', 'at', 'the', 'AMF', 'with', 'this', 'security', 'context', 'shall', 'start', 'after', 'receiving', 'the', 'NAS', 'Security', 'Mode', 'Complete', 'message', 'd', 'The', 'AMF', 'activates', 'NAS', 'downlink', 'ciphering', 'NOTE', '', 'If', 'the', 'uplink', 'NAS', 'COUNT', 'will', 'wrap', 'around', 'by', 'sending', 'the', 'NAS', 'Security', 'Mode', 'Reject', 'message', 'the', 'UE', 'releases', 'the', 'NAS', 'connection', 'instead', 'of', 'sending', 'the', 'NAS', 'Security', 'Mode', 'Reject', 'message', 'NOTE', '', 'If', 'the', 'AMF', 'successfully', 'validated', 'the', 'NAS', 'SMC', 'Complete', 'message', 'the', 'AMF', 'has', 'successfully', 'confirmed', 'the', 'SUPI', 'received', 'from', 'the', 'home', 'network', 'and', 'the', 'SUPI', 'used', 'by', 'the', 'UE', 'match', 'as', 'required', 'in', 'clause', '', 'However', 'integrity', 'check', 'failure', 'of', 'the', 'NAS', 'SMC', 'Complete', 'message', 'at', 'the', 'AMF', 'could', 'have', 'other', 'causes', 'than', 'a', 'mismatch', 'of', 'the', 'SUPIs']