Регистрация / Вход
Прислать материал

Проведение научных исследований молодыми учеными. Алгоритмы обфускации (запутывания) программ с доказуемой стойкостью и их реализация.

Стадии проекта
Предложение принято
Конкурс завершен
Выполнение этапа проекта
Проект
02.442.11.7290
Организация
ПОМИ РАН
Продолжительность работ
2006, 8 мес.
Бюджетные средства
0,4 млн
Внебюджетные средства
0 млн

Информация отсутствует

Этапы проекта

1
28.02.2006 - 31.05.2006
1. Разработка критериев стойкости запутанных программ.
2. Описание класса алгоритмов и приложений, допускающих криптографически стойкую обфускацию.
3. Описание полной криптосистемы.
4. Описание сложности обращения криптографических функций, вычислимых за полиномиальное время, с подсказкой.
5. Разработка курса лекций по обфускации программ.
Развернуть
2
01.06.2006 - 02.10.2006
АННОТАЦИЯ
работ, выполненных на отчетном (втором, заключительном) этапе
по теме: «Проведение научных исследований молодыми учеными» (IV очередь),
НИР «Алгоритмы обфускации (запутывания) программ
с доказуемой стойкостью и их реализация»
шифр «2006-РИ-19.0/001/212»
по государственному контракту от «28» февраля 2006 г. № 02.442.11.7290

Работы на втором этапе проводились согласно техническому заданию к государственному контракту в составе, указанном в календарном плане.
Был разработан новый, очень многообещающий алгоритм обфускации. Именно вокруг этого алгоритма мы продолжим свои исследования после окончания этого проекта.
Экспериментальный анализ детекторов плагиата показал существенные недостатки архитектуры современных приложений. Таким образом, открыто целое новое направление для исследований – поиск близкого к образцу кода в базе всех программ, защищенных авторским правом.
Использование результатов из криптографии (конструкция Аппельбаума и др. и лемма Яо) позволило разработать алгоритм неразличимой обфускации. Таким образом, были установлены связи между обфускацией и классическими исследованиями в области анализа программ и криптографии.
Так как практические приложения обфускации весьма отличаются между собой, были проведены эксперименты по одной частной проблеме. Именно, мы рассмотрели обфускацию как метод скрытия плагиата в программе (Глава 6 и Приложение Е). На основе различных обфускирующих преобразований была создана тестовая коллекция, и к ней был применен ряд детекторов. По результатам тестов были сформулированы рекомендации по изменению архитектуры детекторов.
Все полученные результаты являются новыми, как для отечественных исследований, так и для мировых. Требования технического задания к НИР выполнены полностью, все поставленные задачи были решены.



Руководитель работ,
снс ПОМИ РАН, к.физ.-мат.н.


Э. А. Гирш
Развернуть

Программа

Программа "Исследования и разработки по приоритетным направлениям развития науки и техники" на 2002-2006 годы

Программное мероприятие

1.9 Проведение молодыми учеными научных исследований по приоритетным направлениям науки, высоких технологий и образования
Продолжительность работ
2014 - 2018, 57 мес.
Бюджетные средства
97 млн
Организация
ПОМИ РАН
профинансировано
Продолжительность работ
2011 - 2012, 19 мес.
Бюджетные средства
2,5 млн
Организация
ИТФ им Л.Д.Ландау РАН
профинансировано
Продолжительность работ
2009 - 2010, 13 мес.
Бюджетные средства
0,6 млн
профинансировано
Продолжительность работ
2012, 4 мес.
Бюджетные средства
2,6 млн
профинансировано
Продолжительность работ
2012, 1 мес.
Бюджетные средства
3 млн
профинансировано
Тема
Разработка методов обфускации схем и программ
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
3 млн
Количество заявок
0
Тема
Разработка наномодифицированных электроизоляционных и конструкционных материалов повышенной химической стойкости для защиты конструкций, зданий и сооружений.
Продолжительность работ
2009 - 2010, 15 мес.
Бюджетные средства
10 млн
Количество заявок
3
Тема
Разработка технологии получения эластомерных герметизирующих композиций с повышенными теплостойкостью, химической стойкостью и физико-механическими характеристиками.
Продолжительность работ
2011 - 2013, 27 мес.
Бюджетные средства
195 млн
Количество заявок
1
Тема
Разработка технологии получения нового поколения композиционных материалов с повышенной термостойкостью, повышенной стойкостью к коротковолновому, в том числе рентгеновскому излучению.
Продолжительность работ
2014 - 2016, 28 мес.
Бюджетные средства
225 млн
Количество заявок
5
Тема
Разработка технологии производства и композиции конструкционного материала с повышенной термической и радиационной стойкостью для энергетических установок нового поколения
Продолжительность работ
2014 - 2016, 26 мес.
Бюджетные средства
80 млн
Количество заявок
3