Аннотация:
Изучается свойство локальной обратимости булевых функций. Устанавливается ряд необходимых условий локальной обратимости, позволяющих строить классы функций, соответствующие которым кодирующие устройства не допускают локального обращения. Доказывается критерий, связывающий локальную обратимость произвольной булевой функции с определенными характеристиками булевых функций с барьером.
Ключевые слова:функции без запрета, совершенно уравновешенные функции, барьеры булевых функций, локальная обратимость, криптография.