КНФ представления для задач факторизации, дискретного логарифмирования и логарифмирования на эллиптической кривой

ОГЛАВЛЕНИЕ
Введение ,
ГЛАВА 1. Обзор
1.1 Логический криптоанализ.
1.2 Методы теории чисел.
1.2.1 Задача факторизации.
1.2.2 Задача дискретного логарифмирования.
ф 1.2.3 Задача логарифмирования на эллиптической кривой.
ГЛАВА 2. Генерация эквивалентных КНФ.
2.1 КНФ представления для задачи факторизации.
2.1.1 КНФ представление операции умножения двух чисел.
2.1.2 Обеспечение консервативности преобразований.
2.1.3 Сведение задачи факторизации к задаче ВЫПОЛНИМОСТЬ.
2.1.4 Эквивалентные КНФ представления операции умножения двух
2.1.5 Сведение задачи факторизации к набору эквивалентных задач
ВЫПОЛНИМОСТЬ
2.1.6 3КНФ представление операции умножения двух чисел.
2.2 КНФ представление задачи дискретного логарифмирования.
2.2.1 Кодирование базовых операций
2.2.2 Сведение задачи дискретного логарифмирования к задаче ВЫПОЛНИМОСТЬ.
2.3 КНФ представление задачи логарифмирования на эллиптической
кривой.
2.3.1 Базовые операции
2.3.2 Сложение точек эллиптической группы.
2.3.3 Корректировка результатов суммирования точек кривой с учетом их возможного равенства точке 0.
2.3.4 Сведение задачи логарифмирования на эллиптической кривой к задаче ВЫПОЛНИМОСТЬ.
2.4 Проекция вещественного вектора приближений на пространство булевых переменных
2.5 КНФ представления для отношения неделимости на малые простые числа
ГЛАВА 3. Вычислительные эксперименты
3.1 Генерация КНФ для задач практически значимых размерностей. .
3.2 Решение полученных экземпляров задачи ВЫПОЛНИМОСТЬ. .
3.3 Определение наиболее вероятных значений битов сомножителей
для задачи факторизации.
3.4 Исследование стойкости рассматриваемых задач к восстановлению полного ключа по его известным фрагментам.
Заключение
Список таблиц
Литература