Аналіз методу синтезу алгебраїчних нормальних форм булевих SAC-функцiй нульового та вищого порядкiв. Особливості розробки підходу i застосування апарату булевих функцій для аналізу i синтезу ефективних криптографічних алгоритмів захисту інформації.
Аннотация к работе
Розробка підходу i застосування апарату булевих функцій для аналізу i синтезу ефективних криптографічних алгоритмів захисту інформації булевий синтез криптографічний алгоритмЗокрема широко застосовуємий метод одержання SAC-функцій через спектральне перетворення Уолша відзначається невеликою продуктивністю та накладає значні технологічні обмеження на одержання SAC-функцій від великої кількості змінних, оскільки обєм потрібноі для реалізації цього методу памяті експоненційно залежить від кількості змінних. Таким чином, дослідження способів оцінки захищеності криптографічних алгоритмів з позицій функціонального аналізу на рівні булевих функцій, розробка методів формального синтезу булевих функцій з заданими криптографічними властивостями є актуальними i мають теоретичне та практичне значення. Розроблено метод синтезу алгебраїчних нормальних форм булевих SAC-функцій нульового та вищого порядків, який не потребує обємів памяті експонційно залежних від числа змінних i дозволяє одержувати SAC-функції від великої кількості змінних (більше сотні). Запропоновано метод формалізованого синтезу булевих функцій, що відповідають критерію максимуму повної та умовної ентропії (балансних SAC-функцій), що генерують більш якісні у криптографічному відношенні функції, а також забезпечують значно більшу продуктивність в порівнянні з відомими методами одержання SAC-функцій. В третьому розділі виконано теоретичне дослідження булевих функцій, що відповідають критерію максимуму умовної ентропії (Strict Avalanche Criterion - або скорочено - SAC) - функцій, які лежать в основі синтезу криптостійких алгоритмів захисту інформації.