Построение и анализ эффективных комбинаторных алгоритмов решения систем булевых уравнений

Содержание
Введение .
Глава 1. Обзор существующих подходов к решению систем уравнений над конечными полями.
1.1. О задаче решения систем булевых уравнений .
1.2. Базисы Грбнера
1.3. Линеаризация, X, X
1.4. Использование iпателей.
1.5. Алгоритмы согласования и склеивания
Глава 2. Использование ассоциативных вычислителей для решения булевых систем уравнений
2.1. Параметры и характеристики модели ассоциативного вычислителя
2.2. Метод решения систем уравнений с использованием ассоциативных вычислителей на основе склеивания и согласования . .
2.3. Оценка трудоемкости алгоритма АОДР.
2.4. Использование ассоциативных вычислителей ограниченной емкости для решения булевых уравнений
2.5. Экспериментальные исследования трудоемкости алгоритмов решения систем булевых уравнений.
Глава 3. Решение систем булевых полиномиальных уравнений с опробованием переменных и использованием промежуточных критериев истинности решений
3.1. Опробование переменных в системе булевых полиномиальных
уравнений и мономиальная совместность.
3.2. Метод ЧОМС решения систем булевых уравнений.
3.3. Теорстиковероятностная модель для метода ЧОМС
3.4. Ранг случайных систем линейных булевых уравнений и вероятность их совместности.
3.5. Оценка трудоемкости метода ЧОМС.
Глава 4. Применение алгоритмов решения систем булевых уравнений для анализа потокового шифра ЛТЛ8.
4.1. Потоковый шифр 1ЛЫ8
4.2. Атака па основе открытого и шифрованного текстов
4.3. Существующие методы криптоанализа ЫЫ8
4.4. Метод ЧОМСЬ для определения ключа шифра ЛЛ8 .
4.5. Расчет трудоемкости метода ЧОМСЬ.
Литература