tokens: ['The', 'following', 'abnormal', 'case', 'can', 'be', 'identified', 'a', 'Void', 'b', 'ATTACH', 'REQUEST', 'message', 'received', 'when', 'paging', 'procedure', 'is', 'ongoing', 'If', 'an', 'integrityprotected', 'ATTACH', 'REQUEST', 'message', 'is', 'received', 'from', 'the', 'UE', 'and', 'successfully', 'integrity', 'checked', 'by', 'the', 'network', 'the', 'network', 'shall', 'abort', 'the', 'paging', 'procedure', 'If', 'the', 'ATTACH', 'REQUEST', 'message', 'received', 'is', 'not', 'integrity', 'protected', 'or', 'the', 'integrity', 'check', 'is', 'unsuccessful', 'the', 'paging', 'procedure', 'shall', 'be', 'progressed', 'The', 'paging', 'procedure', 'shall', 'be', 'aborted', 'when', 'the', 'EPS', 'authentication', 'procedure', 'performed', 'during', 'attach', 'procedure', 'is', 'completed', 'successfully', 'c', 'TRACKING', 'AREA', 'UPDATE', 'REQUEST', 'message', 'received', 'in', 'response', 'to', 'a', 'CS', 'SERVICE', 'NOTIFICATION', 'message', 'If', 'the', 'network', 'receives', 'a', 'TRACKING', 'AREA', 'UPDATE', 'REQUEST', 'message', 'in', 'response', 'to', 'a', 'CS', 'SERVICE', 'NOTIFICATION', 'message', 'the', 'network', 'shall', 'progress', 'the', 'tracking', 'area', 'updating', 'procedure', 'NOTE', 'After', 'completion', 'of', 'the', 'tracking', 'area', 'updating', 'procedure', 'the', 'UE', 'can', 'accept', 'or', 'reject', 'the', 'CS', 'fallback', 'by', 'sending', 'an', 'EXTENDED', 'SERVICE', 'REQUEST', 'message', 'd', 'DETACH', 'REQUEST', 'message', 'received', 'in', 'response', 'to', 'a', 'CS', 'SERVICE', 'NOTIFICATION', 'message', 'If', 'the', 'network', 'receives', 'a', 'DETACH', 'REQUEST', 'message', 'with', 'detach', 'type', 'IMSI', 'detach', 'or', 'combined', 'EPSIMSI', 'detach', 'in', 'response', 'to', 'a', 'CS', 'SERVICE', 'NOTIFICATION', 'message', 'the', 'network', 'shall', 'progress', 'the', 'detach', 'procedure']