Институт системного программирования им. В.П. Иванникова РАН


К вопросу о существовании стойких обфускаторов программ.

Авторы

Варновский Н.П., Захаров В.А.

Аннотация

Обфускатором программ называется транслятор программ, преобразующий всякую программу к такому виду который затрудняет понимание алгоритма и структур данных, заложенных в программе, или позволяет предотвратить извлечение полезной информации из открытого текста программы. Качество работы обфускатора характеризуется его стойкостью, т.е. оценкой затраты вычислительных ресурсов, необходимых для извлечения из текста обфускированной программы скрытой в ней секретной информации. Предложено новое определение стойкости обфускатора программ: обфускация заданного свойства для заданного семейства программ считается стойкой, если всякий полиномиальный вероятностный алгоритм, получающий на вход случайно выбранную обфускированную программу из указанного семейства, может извлечь лишь пренебрежимо малую информацию о секретном свойстве программ из анализируемого семейства. Данное формальное определение стойкости обфускации позволяет проводить строгие обоснования эффективности маскировки программ. Обсуждается возможность построения доказуемо стойких обфускаторов для некоторых секретных свойств программ.

Ключевые слова

обфускатор, стойкость обфускации

Издание

Труды V Международной конференции «Дискретные модели в теории управляющих систем», (Ратмино, 26-29 мая 2003 г.), 2003, МАКС-Пресс - МГУ Москва, с. 26-29.

Научная группа

Теоретическая информатика

Все публикации за 2003 год Все публикации