Достаточные условия стойкости рандомизированных блочных cистем шифрования относительно метода криптоанализа на основе коммутативных диаграмм

Abstract

Получены достаточные условия отсутствия определенных нетривиальных конгруэнций многоосновных алгебр, описывающих рандомизированные блочные системы шифрования, соответствующие SPN-подобным шифрам или шифрам Фейстеля. Указанные условия исключают возможность применения к таким системам шифрования метода криптоанализа на основе коммутативных диаграмм.Отримано достатні умови відсутності певних нетривіальних конгруенцій багатоосновних універсальних алгебр, що описують рандомізовані блокові системи шифрування, які відповідають SPN-подібним шифрам або шифрам Фейстеля. Зазначені умови виключають можливість застосування до таких систем шифрування методу криптоаналізу на основі комутативних діаграм.Sufficient conditions for the non-existence of certain nontrivial congruences of many-sorted universal algebras, that describe randomized block cipher systems based on the SPN-like ciphers or on Feistel ciphers, are obtained. These conditions guarantee that such cipher systems are secure against commutative diagram attacks.