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