Оценки трудности доказательств и криптографических атак, основанных на лазейках

Оценки трудности доказательств и криптографических атак, основанных на лазейках

Рассматривается задача построения древовидных сертификатов доказательств невыполнимости булевых формул в предположении, что такое доказательство генерируется SAT-решателем, основанным на алгоритме CDCL. Такого сорта древовидные представления удобны, когда для конкретной формулы требуется оценить, н...

Полное описание

Библиографическая информация
Опубликовано в: :	Прикладная дискретная математика. Приложение № 16. С. 87-95
Главный автор:	Семенов, Александр Анатольевич
Формат:	Статья в журнале
Язык:	Russian
Предметы:	проблема булевой выполнимости система доказательств алгоритм CDCL лазейки статьи в журналах
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001006011 Перейти в каталог НБ ТГУ

Похожие документы

О скрытых упрощающих структурах в комбинаторных задачах и их вероятностных обобщениях
по: Семенов, Александр Анатольевич

Обращение 29-шаговой функции сжатия MD5 при помощи алгоритмов решения проблемы булевой выполнимости
по: Заикин, Олег Сергеевич

Порождение дополнительных ограничений в задачах алгебраического криптоанализа при помощи SAT-оракулов
по: Семенов, Александр Анатольевич

Оптимизация решения алгоритма CDCL, представленного в виде троичного вектора
по: Иванкин, Дмитрий Ильич

Применение инверсных лазеек для построения атак из класса "угадывай и определяй" на хеш-функции семейства MD4
по: Грибанова, Ирина Александровна

Алгоритмы вычисления криптографических характеристик векторных булевых функций

Кривизна некоторых классов булевых функций
по: Панпурин, Андрей Александрович

Теория доказательств
по: Такеути, Г.
Публикация: (1978)

Феноменологическое расширение формальной теории доказательств
по: Седов, Юрий Григорьевич

Сравнительно-правовой анализ регламентации правил оценки доказательств в уголовно-процессуальном законодательстве стран СНГ
по: Корнакова, Светлана Викторовна

Досудебное раскрытие доказательств в гражданском и арбитражном процессе
по: Кайзер, Юлия Валерьевна

Особенности представления и раскрытия доказательств при рассмотрении дел в порядке упрощенного производства
по: Галковская, Наталья Георгиевна

К вопросу о понятии электронных доказательств и критериях допустимости их использования
по: Желева, Ольга Викторовна

Исследование L-структуры многогранника смешанной задачи максимальной выполнимости
по: Адельшин, Александр Владимирович

О генерической NP-полноте проблемы выполнимости булевых схем
по: Рыбалов, Александр Николаевич

Фальсификация доказательств: некоторые проблемы уголовно-правовой оценки
по: Метельский, П. С.

Оценка допустимости доказательств в суде присяжных
по: Дудко, Нина Алексеевна

Участие адвоката-защитника в собирании доказательств
по: Долгова, Диана Сергеевна

К вопросу об участии защитника в собирании доказательств
по: Белов, А. С.

Внутреннее убеждение при оценке доказательств
по: Резник, Генри Маркович 1938-
Публикация: (1977)

Собирание и представление доказательств адвокатом по уголовному делу: изучение с помощью социолого-правовых исследований
по: Кузнецов, Михаил Юрьевич

Собирание доказательств в советском уголовном процессе Методологические и правовые проблемы
по: Шейфер, Семен Абрамович 1924-
Публикация: (1986)

Эффективность деятельности адвоката по сбору доказательств в гражданском процессе
по: Степанченко, Юлия Вячеславовна

К вопросу об активности суда при исследовании доказательств
по: Козионов, Н. Н.

Право защитника на представление доказательств
по: Локтевич, Ольга Игоревна

Основы теории доказательств в советском уголовном процессе Учебное пособие
Публикация: (1970)

Актуальные проблемы института электронных доказательств в цивилистическом процессе
по: Троцкая, Любовь Евгеньевна

Отношения следователя и защитника в процессе собирания доказательств
по: Свиридов, Михаил Константинович 1938-

Допустимость доказательств
по: Горбунова, Е. А.

Собирание доказательств адвокатом в свете кодекса профессиональной этики адвокатов
по: Степанченко, Юлия Вячеславовна

Роль суда в собирании доказательств
по: Петрушин, Артем Игоревич

Установление относимости доказательств в рамках уголовно-процессуального доказывания
по: Барабаш, Анатолий Сергеевич

К вопросу об оценке "электронных доказательств" в уголовном судопроизводстве в контексте российского и зарубежного опыта
по: Никурадзе, Наталья Олеговна

Формирование внутреннего убеждения судьи при оценке доказательств в уголовном процессе
по: Суховеева, Дина Андреевна

О генерической NP-полноте проблемы выполнимости булевых формул
по: Рыбалов, Александр Николаевич

Договор, которого не было (к вопросу о фальсификации доказательств)
по: Кучин, Алексей Сергеевич

Досудебное раскрытие доказательств в гражданском и арбитражном процессе
по: Кайзер, Юлия Валерьевна

О порядке гладкости наименьшего вогнутого продолжения булевой функции
по: Баротов, Достонжон Нумонжонович

Об уровне сильной аффинности булевых функций
по: Кулагин, Артем Владимирович

Свойства компонент некоторых классов векторных булевых функций
по: Панкратова, Ирина Анатольевна кандидат физико-математических наук