tokens: ['derives', 'KBS', 'from', 'the', 'KRBS', 'and', 'bsGKI', 'bsGNI', 'as', 'described', 'in', 'subclause', '', 'and', 'then', 'calculates', 'the', 'XMACI', 'based', 'on', 'KBS', 'as', 'the', 'same', 'that', 'gNB', 'computes', 'MACI', 'based', 'on', 'KBS', '', 'The', 'USIM', 'returns', 'the', 'XMACI', 'to', 'the', 'ME', 'The', 'ME', 'compares', 'XMACI', 'with', 'MACI', 'If', 'they', 'are', 'equal', 'the', 'ME', 'handles', 'the', 'broadcast', 'message', 'Otherwise', 'the', 'ME', 'marks', 'the', 'cell', 'as', 'highrisk', 'cell', 'in', 'cache', 'NOTE', '', 'The', 'serving', 'network', 'may', 'update', 'the', 'KRBS', 'without', 'notifying', 'the', 'UE', 'in', 'this', 'case', 'the', 'MACI', 'verification', 'fails', 'but', 'gNB', 'is', 'genuine', 'If', 'all', 'the', 'cells', 'around', 'the', 'UE', 'are', 'marked', 'as', 'suspect', 'cell', 'or', 'highrisk', 'cell', 'the', 'UE', 'may', 'start', 'a', 'verification', 'timer', 'When', 'the', 'verification', 'timer', 'is', 'timeout', 'the', 'UE', 'should', 'be', 'ready', 'to', 'perform', 'registration', 'procedure', 'If', 'the', 'UE', 'is', 'ready', 'to', 'send', 'an', 'initial', 'NAS', 'message', 'before', 'timeout', 'the', 'UE', 'should', 'stop', 'the', 'verification', 'timer', 'When', 'the', 'UE', 'is', 'ready', 'to', 'send', 'an', 'initial', 'NAS', 'message', 'due', 'to', 'timeout', 'or', 'not', 'the', 'UE', 'should', 'try', 'to', 'send', 'the', 'initial', 'NAS', 'message', 'via', 'the', 'suspect', 'cells', 'one', 'by', 'one', 'then']