Дерева типів монотонних булевих функцій та криптосистеми з блоками змінної довжини

Abstract

У статті розглянута можливість застосування типів монотонних булевих функцій (МБФ) при побудові криптосистеми, заснованої на розбитті інформації на блоки змінної довжини. Доказана теорема про однозначне праве (ліве) розкладання будь-яких типів МБФ. Операція зсув-суми типів МБФ розширена на довільні вектори і введено дві нові операції: виділення максимальніої правої частини і виділення максимальніої лівої частини. Це дозволило отримати зручний критерій: чи є довільний вектор типом МБФ, а також отримати дерево розкладання будь-якого типу МБФ на нульові типи, ліві (праві) одиниці різних рангів. Ці дерева розкладання мають різне число вершин і використовуються для отримання блоків зашифрованої інформації змінної довжини.