Запропоновано нові теоретичні поняття для булевих функцій: кореляція при відомому значенні функції та її розширення. Доведено, що алгебраїчна атака на потокові шифратори без пам'яті зводиться до апроксимації ускладнюючої функції шифратора низькостепеневими поліномами в термінах введеної кореляції.
