Проблемы обоснования разностного и линейного методов в криптографии

В докладе будут представлены основные положения способов построения линейных и разностных вероятностных соотношений для преобразований булевых векторных пространств большой размерности, реализуемых глубокой разветвленной суперпозицией локальных преобразований от небольшого числа промежуточных переменных. Будет приведен ряд интересных особенностей этих способов. Будут рассмотрены вопросы о корректности приближенных формул для вероятностных характеристик получаемых соотношений и приведены теоремы о точных значениях этих характеристик.