Аннотация:Впервые определение критерия распространения булевых функций было введено Бартом Пренеелем и соавторами. Это понятие представляет собой множество векторов, для которых соответствующие им производные булевой функции являются уравновешенными функциями. Оно характеризует статистические свойства семейства производных булевой функции, играющих важную роль в анализе и синтезе криптосистем. Для некоторых классов булевых функций критерий распространения определяет их экстремальные свойства. Например, для бент-функций критерий распространения определяет их максимальную нелинейность. Однако главным недостатком бент-функций является отсутствие уравновешенности, что означает, что такие функции не имеют равномерного распределения выходных данных. Построение уравновешенных булевых функций, обладающих высокой нелинейностью и большим числом векторов, удовлетворяющих критерию распространения, до сих пор остајтся открытой проблемой в криптографии. В работе получены точные значения и
оценки количества векторов, удовлетворяющих критерию распространения булевых функций из известных криптографических классов, таких как платовидные функции, функции из класса МайоранаМакФарланда, квадратичные функции, алгебраически вырожденные функции и мультиаффинные функции. Показано также, что число векторов, удовлетворяющих критерию распространения, является инвариантом для расширения полной аффинной группы первой степени.