ИССЛЕДОВАНИЕ ПОДХОДОВ К ИДЕНТИФИКАЦИИ И ВОССТАНОВЛЕНИЮ АЛГОРИТМОВ ПРОГРАММ |
| 1 | |
| 2004 |
| научная статья | 681.51 | ||
| 37-46 |
| На основе анализа публикаций по распознаванию алгоритмов программ (reverse engineering) [1-5] предложены два новых подхода к построению математических моделей (ММ) исполняемого кода (ИК) программ на основе развития ММ управляющего графа (control flow graph) в дискретных динамических системах [6-8] и на основе генетических карт (genetic map) [9-10] дискретных динамических систем. Предложенные математические модели позволяют сводить задачи идентификации и восстановления алгоритмов к идентификации дискретных динамических систем с использованием формальных методов и соответствующего математического аппарата, что может стать основой при разработке средств автоматизированного анализа программ. Ключевые слова: распознавание алгоритмов, дискретная динамическая система, идентификация, управляющий граф, генетическая карта. |
 |
| 1 . Wills L. Flexible Control for Program Recognition // Working Conference on Reverse Engineering. May 1993. Baltimore, MD. P. 134-143. 2 . Туренко Д.Л., Кирьянов К.Г. Идентификация и восстановление алгоритмов программ // Труды Шестой научной конференции по радиофизике. ННГУ, 2002. С. 328-329. 3 . Туренко Д.Л., Корюкалов А.В. Поиск типовых алгоритмов в исполняемых кодах программ // Труды Восьмой научной конференции по радиофизике. ННГУ, 2004. С. 263-264. 4 . Гусенко М.Ю., Гусенко Ю.М. Вопросы обратной трансляции программного обеспечения специального назначения // НТС «Специальная техника средств связи». Выпуск 1. Пенза, 2000. С. 25-43. 5 . Кирьянов К.Г. Оптимальное D-разбиение и синтез дискретных управляющих динамических систем // Третья научная конференция по радиофизике 7 мая 1999 г. Н. Новгород: Изд-во ННГУ, 1999. С. 130-131. 6 . Кирьянов К.Г. К синтезу оптимальных управляющих систем // Тезисы докладов XII Международной конференции «Проблемы теоретической кибернетики» (Нижний Новгород, 17-22 мая 1999 г.). Часть 1 / Под ред. О.Б. Лупанова. - М.: Издательство механико-математического факультета МГУ, 1999. С. 94. 7 . Кирьянов К.Г. К теории сигнатурного анализа // НТС «Техника средств связи». Выпуск 2(27). М.: ЭКОС, 1980. C. 1-46. 8 . Кирьянов К.Г. Генетический код и тексты: динамические и информационные модели сложных систем / Ред. Л.Ю. Ротков, А.В. Якимов. - Нижний Новгород: ТАЛАМ, 2002. 100 с. 9 . Kiryanov K.G. The Dynamics of Universal Genetic Code // Progress In Nonlinear Science. International conference dedicated to the 100th Anniversary of A.A. Andronov. Volume III. Nonlinear Oscillations, Control and Information, Nizhny Novgorod, Russia, July, 2002. P. 188-195. 1 10 . Неймарк Ю.И. Устойчивость линеаризованных систем (дискретных и распределенных). Л.: ЛКВВИА, 1949. 1 11 . Кирьянов К.Г. Базовые параметры математических моделей источников экспериментальных данных // Системы обработки информации и управления. Труды НГТУ. Н. Новгород, 2003. Т. 37. Вып. 10. С. 5-14. 1 12 . Кирьянов К.Г. Выбор оптимальных базовых параметров источников экспериментальных данных при их идентификации // Труды III Международной конференции «Идентификация систем и задачи управления SICPRO′04». Москва, 28-30 января 2004 г. Институт проблем управления им. В.А. Трапезникова РАН. М.: Институт проблем управления им. В.А. Трапезникова РАН, 2004. С. 187-208. 1 |