вполне возможно будет отделить истинные инструкции от фальшивых
автоматически за полиномиальное время.
Снова встает вопрос о соответствии данного подхода свойству
Black-Box по Бараку. Очевидно, что если подпрограмма A недоступна,
то доказательство Барака в данном случае не работает.
Если подпрограмма
А
(см. рисунок) доступна, то метод теряет
лишь часть своей стойкости. Злоумышленнику необходимо будет до-
казать, что только подпрограмма А вызывает подпрограмму
О
(
М
)
,
что не всегда представляется возможным. В частных случаях деоб-
фускация все-таки может быть осуществлена, но она потребует нес-
равненно б´oльших усилий и анализа всего кода приложения в отличие
от случая, когда принцип функциональности по Бараку соблюдается.
В лучшем случае удастся получить соответствие формулам (1) или (2),
что вполне допустимо в практических целях.
СПИСОК ЛИТЕРАТУРЫ
1. B a r a k B. Non-Black-Box Techniques in Cryptography., Thesis for the Ph.D.
Degree, Department of Computer Science and Applied Mathematics. The Weizmann
Institute of Science. January 6, 2004.
2. Щ е л к у н о в Д. А. Обфускация. Теоретические и практические аспекты //
Тр. междунар. конф. РусКрипто. Февраль, 2007.
3. Щ е л к у н о в Д. А. Запутывание программ и внедрение в приложение сторон-
него кода. Технологии Microsoft в теории и практике программирования // Тр.
Всеросс. конф. студентов, аспирантов и молодых ученых, Москва. 2–3 апреля,
2007, МАИ.
4. М а з и н А. В., Щ е л к у н о в Д. А. Анализ и применение запутывающих
преобразований при защите исполняемых файлов от несанкционированного ис-
пользования // Прогрессивные технологии, конструкции и системы в приборо- и
машиностроении. Материалы. Т. 1. – М.: Изд-во МГТУ им. Н.Э. Баумана, 2005.
Статья поступила в редакцию 24.03.2008
Анатолий Викторович Мазин родился в 1948 г., окончил Одесское высшее инженер-
ное морское училище в 1972 г. Канд. техн. наук, доцент кафедры “Компьютерные
системы и сети” Калужского филиала МГТУ им. Н.Э. Баумана. Автор 46 научных
работ в области информационных технологий и технической диагностики.
A.V. Mazin (b. 1948) graduated from the Odessa Higher Engineering Nautical School in
1972. Ph. D. (Eng.), assoc. professor of “Computer Systems and Networks” department
of the Kaluga Branch of the Bauman Moscow State Technical University. Author of 46
publications in the field of information technologies and technical diagnostics.
Дмитрий Анатольевич Щелкунов родился в 1980 г., окончил Калужский филиал
МГТУ им. Н.Э. Баумана. Аспирант кафедры “Компьютерные системы и сети” Ка-
лужского филиала МГТУ им. Н.Э. Баумана. Автор 10 научных работ в области ин-
формационных технологий и информационной безопасности.
D.A. Shchelkunov (b. 1980) ) graduated from the Kaluga Branch of the Bauman
Moscow State Technical University in 2007. Post-graduate of “Computer Systems and
Networks” department of the Kaluga Branch of the Bauman Moscow State Technical
University. Author of 10 publications in the field of information technologies and technical
diagnostics.
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2009. № 2 101
