- Диссертационная работа представляет собой теоретическое исследование. Все результаты, представленные в ней, являются новыми и получены автором самостоятельно.
- Теоремы главы 4, в которых приведено решение первой из указанных выше задач, могут быть использованы для выбора подходящих математических моделей программ, для сравнения выразительных возможностей этих моделей при решении задач семантического анализа компьютерных программ, а также для перенесения результатов решения этих задач из одних моделей программ в другие.
- Принципиально новым является метод совместных вычислений для построения алгоритмов проверки эквивалентности программ, описанный в главах 5 и 6. В отличие от всех известных подходов к решению проблемы эквивалентности программ в моделях вычислений метод совместных вычислений параметризован относительно семантик, задающих интерпретацию базовых компонентов программ. Эта особенность метода совместных вычислений дает возможность единообразно конструировать разрешающие процедуры для широкого класса моделей последовательных, рекурсивных и простейших реагирующих программ; в отдельных случаях с его помощью удается построить алгоритмы, проверяющие эквивалентность программ за время, полиномиальное относительно их размера. Метод совместных вычислений может найти применение при разработке программно-инструментальных средств анализа поведения компьютерных программ.
2.Захаров В.А. Автоматные модели программ // Доклады АН СССР. — 1989. — т.309, N 1, — с. 24-27.
3.Захаров В.А. Условия свободной схемы в формальных моделях программ // Тезисы докладов IX Международной конференции «Проблемы теоретической кибернетики». — 1991. — с. 94-96.
4.Захаров В.А. Формальные модели и свободные схемы программ // Программирование. — 1992. — N 2. — с. 10-24.
5.Захаров В.А. Об одном критерии сравнения операторных формальных моделей // Программирование. — 1993. — N 4. — с. 12-25.
6.Захаров В.А. Об одном типе эквивалентности схем программ // Методы и системы технической диагностики, Саратовский государственный университет. — 1993. — вып.18. — с.68-70.
7.Захаров В.А. Об отношении аппроксимируемости семантик операторных программ // Вестник Московского университета. — Серия 15, вычислительная математика и кибернетика. — 1994. — N 3. — с. 54-60.
8.Захаров В.А. О свободных схемах в формальных моделях программ // Математические вопросы кибернетики, Вып. 5. — М.:Наука, 1994. — с. 208-239.
9.Захаров В.А. Условия сглаживаемости операторных формальных моделей программ // Программирование. — 1994. — N 5. — с. 23-40.
10.Захаров В.А. Эквивалентные преобразования схем программ в моделях, порожденных формулами динамической логики // Материалы XI международной конференции "Логика, методология, философия науки Институт философии РАН. — 1995 — т. П. — с. 137-142.
11.Захаров В.А., Подловченко Р.И. Полиномиальный алгоритм разрешения эквивалентности схем программ // Тезисы докладов XI Международной конференции «Проблемы теоретической кибернетики». — 1996. — с. 68-69.
12.Подловченко Р.И., Захаров В.А. Быстрые алгоритмы распознавания эквивалентности в моделях операторных программ с коммутирующими операторами // Сборник "Компьютерные аспекты в научных исследованиях и учебном процессе.—М.:Изд-во МГУ, 1996. — с. 3-8.
13.Захаров В.А. Полиномиальный алгоритм разрешения проблемы эквивалентности унарных линейных рекурсивных схем программ // Труды II Международной конференции «Дискретные модели в теории управляющих систем». — 1997. — с. 26-29.
14.Подловченко Р.И., Захаров В.А. Полиномиальный по сложности алгоритм, распознающий коммутативную эквивалентность схем программ // Доклады РАН, серия Информатика. — 1998. — т. 362, N 6. — с. 27-31.
15.Захаров В.А. Быстрые алгоритмы разрешения эквивалентности операторных программ на уравновешенных шкалах // Математические вопросы кибернетики, вып.7. — М.:Физматлит, 1998. — с. 303-324.
16.Захаров В.А. О проблеме эквивалентности операторных схем на упорядоченных полугрупповых моделях // Сборник трудов III Международной конференции «Дискретные модели в теории управляющих систем», Красновидово-98. - 1998. - с. 36-40.
17. Захаров В.А. Аппроксимация абстрактных семантик формаль ными моделями программ // Дискретная математика. — 1998. — т. 10, вып. 4. — с. 119-141.
18.Захаров В.А. О проблеме эквивалентности пропозициональных программ над полугруппами // Kurosh Algebraic Conference´98, Abstracts of Talks. - 1998. - с 170-172.
19.Zakharov V.A.. An efficient and unified approach to the decidability of equivalence of propositional program schemes // Lecture Notes in Computer Science. - 1998. - v. 1443. - p. 247-258.
20.Захаров В.А. Об одном критерии сравнимости формальных моделей программ // Сборник трудов семинара по дискретной математики и ее приложениям, (2-4 февраля, 1998 г.), М.: Изд-во механико-математического факультета МГУ. - 1998. - с. 107-109.
21.Захаров В.А. Быстрые алгоритмы разрешения эквивалентности пропозициональных операторных программ на упорядоченных полугрупповых шкалах // Вестник Московского университета, сер. 15, Вычислительная математика и кибернетика. — 1999, N 3. — с. 29-35.
22. Захаров В.А. Об эффективной разрешимости проблемы экви валентности линейных унарных рекурсивных программ // Ма тематические вопросы кибернетики, вып. 8. — М.:Наука, 1999. — с. 255-273.
23.Захаров В.А. О разрешимости проблемы эквивалентности в одном классе операторных программ // Сборник "Прикладная математика и информатика вып. 5. - Изд-во ВМиК МГУ, 1999. - с. 90-100.
24.Zakharov V. A. On the decidability of the equivalence problem for orthogonal sequential programs // Grammars. — 1999. — v. 2, N 3. — p. 271-281.
25.Захаров В.А. О проблеме эквивалентности унарных металинейных рекурсивных схем // Тезисы докладов XII международной конференции «Проблемы теоретической кибернетики», Часть 1. — 1999. — с. 78.
26.Захаров В.А. Общие методы построения разрешающих алгоритмов для проблемы эквивалентности пропозициональных операторных программ // Сборник трудов IV Международной конференции «Дискретные модели в теории управляющих систем», Красновидово-00. — 2000. — с. 25-29.
27.Захаров В.А., Соколова К.А.. О разрешимости проблемы эквивалентности в одном классе металинейных унарных рекурсивных программ // Сборник трудов IV Международной конференции «Дискретные модели в теории управляющих систем», Красновидово-00. — 2000. — с. 29-31.
28.Захаров В.А. О проблеме эквивалентности для схем программ с операторами засылки констант // Сборник трудов IV Международной конференции «Дискретные модели в теории управляющих систем», Красновидово-00. - 2000. - с. 153-154.
29.Захаров В.А., Кузюрин Н.Н., Холодов А.Н., Шабанов Л.В., Шокуров А.В. Эффективные алгоритмы и их программные реализации // Труды Института Системного программирования: Том 1. — М.:ИСП РАН, 2000. - с. 115-124.
30.Zakharov V.A.. On the decidability of the equivalence problem for monadic recursive programs // Theoretical Informatics and Applications. — 2000. — v. 34, N 2. - p. 157-171.
31.Zakharov V.A. On the approximation relation on dynamic logic models // Abstracts of contributed papers, Logic Colloquium 2000, Paris, La Sorbonne, 23-31 juillet 2000. - 2000.
32.Захаров В.А. О проблеме эквивалентности операторных программ на одном классе уравновешенных шкал // Материалы VII Международного семинара «Дискретная математика и ее приложения», Изд-во механико-математического ф-та МГУ. — 2001. — с. 54-57.
33.Захаров В.А. О проблеме эквивалентности операторных программ на уравновешенных однородных обратимых шкалах // Математические вопросы кибернетики. Вып. 10. — Физматлит, 2001. — с. 155-166.
34.Zakharov V.A.. The equivalence problem for computational models: decida-ble and undecidable cases // Lecture Notes in Computer Science. — 2001. — v. 2055. - p. 133-153.
35.Захаров В.А. Вычисление инвариантов последовательных программ // Тезисы докладов XIII Международной конференции «Проблемы теоретической кибернетики», Часть 1. — 2002. — с. 68.
36.Захаров В.А., Захарьящев И.М. Об одной полисемантической модели последовательных программ // Труды V Международной конференции «Дискретные модели в теории управляющих систем», (Ратмино, 26-29 мая 2003 г.). - 2003. - с. 33-34.
37.Zakharov V.A., Zakharyaschev I.M. An equivalence-checking algorithm for polysemantic models of sequential programs // Proceedings of the International Workshop on Program Understanding (14-16 July, Altai Mountains, Russia). - 2003. - p. 59-70.
38.Захаров В.А. Об одной алгебраической модели программ, связанной с обработкой прерываний // Материалы VIII Международного семинара «Дискретная математика и ее приложения», Изд-во механико-математического ф-та МГУ. - 2004. - с. 129-131.
39.Захаров В.А., Захарьящев И.М. О сложности проблемы эквивалентности в модели программ с перестановочными и монотонными операторами // Материалы VIII Международного семинара "Дискретная математика и ее приложения Изд-во механико-математического ф-та МГУ. — 2004. — с. 131-134.
40.Захаров В.А., Захарьящев И.М. О проблеме эквивалентности для программ с частично перестановочными и монотонными операторами // Труды VI-ой Международной конференции «Дискретные модели в теории управляющих систем», (7-11 декабря 2004 г., Москва). — 2004. — с. 105-110.
41.Zakharov V.A., Zakharyaschev I.M. On the equivalence-checking problem for polysemantic models of sequential programs // Труды Института Системного программирования: Том 6. - М.:ИСП РАН., 2004. - с. 182-199.
42.Zakharov V.A., Zakharyaschev I.M. On the equivalence-checking problem for sequential programs with partially commuting and monotonic statements // Proceedings of the XI Congress of Mathematics of Serbia and Montenegro (September 28-October 2, 2004), Petrovac, Montenegro. — 2004. — p. 79.
43.Захаров В.А., Подловченко Р.И. Проверка эквивалентности программ: модели и алгоритмы // Тезисы докладов XIV Международной конференции «Проблемы теоретической кибернетики», Пенза, 23-28 мая, 2005. - 2005.
44.Захаров В.А., Подловченко Р.И., И.М. Захарьящев, Д.М. Русаков, В.Л. Щербина. О возможности применения быстрых алгоритмов проверки эквивалентности программ для обнаружения вирусов // Труды 2-ой Всероссийской научной конференции «Методы и средства обработки информации», Москва, 2005. - 2005. - с. 414-421.
45.Zakharov V.A., Zakharyaschev I.M. On the equivalence checking problem for a model of programs related with muti-tape automata // Lecture Notes in Computer Science. - 2005. - v. 3317. - p. 293-305.
46.Podlovchenko R.I., Rusakov D.M., Zakharov V.A.. On the equivalence problem for programs with mode switching // Lecture Notes in Computer Science. - 2006. - v. 3845 - p. 351-352.
47.Захаров В.А., Щербина В.Л. О сложности распознавания эквивалентности машин Тьюринга без записи на ленту // Материалы XIV международной школы-семинара «Синтез и сложность управляющих систем» (Санкт-Петербург, 26-30 июня 2006 г.). - 2006. - с. 147-150.
48.Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В., Подлов-ченко Р.И., Щербина В.Л. О применении методов деобфускации программ для обнаружения сложных компьютерных вирусов // Известия ТРТУ, Таганрог, Изд-во ТРГУ. - 2006. - с. 53-57.
49.Podlovchenko R.I., Rusakov D. M., Zakharov V.A. The equivalence problem for programs with mode switching is PSPACE-complete // Труды Института Системного программирования: Том 11. — М.:ИСП РАН, 2006. — с. 111-135.
50.Варновский Н.П., Захаров В.А., Кузюрин Н.Н., Шокуров А.В. Современные методы обфускации программ: сравнительный анализ и классификация // Известия ЮФУ. — 2007. — N 1.
— с. 93-99.
51.Захаров В.А., Щербина В.Л. Об эквивалентности программ с операторами, обладающими свойствами коммутативности и подавления // Материалы 9-го Международного семинара «Дискретная математика и ее приложения», Москва, 2007. - 2007. - с. 191-194.
52.Zakharov V.A., Kuzurin N.N., Podlovchenko R.I., Shcherbina V.V. Using algebraic models of programs for detecting metamorphic malwares // Труды Института Системного программирования: Том 12. — М.:ИСП РАН, 2007. - с. 77-94.
53.Захаров В.А., Щербина В.Л. Эффективные алгоритмы проверки эквивалентности программ в моделях, связанных с обработкой прерываний // Вестник Московского университета, сер. 15, Вычислительная математика и кибернетика. — 2008, N 2. — с. 33-41.
54.Захаров В.А. О проблеме эквивалентности в одном классе монадических линейных рекурсивных программ // Тезисы докладов XV-ой международной конференции «Проблемы теоретической кибернетики» (Казань, 2-7 июня, 2008 г.) - 2008. - с. 40.
55.Захаров В.А., Щербина В.Л. О сложности проверки эквивалентности программ с операторами засылки констант // Труды VIII-ой Международной конференции «Дискретные модели в теории управляющих систем», Москва, 6-9 апреля 2009 г. - 2009. - с. 369-374.
56.Zakharov V.A. Two-tape machinery for the equivalence checking of sequential programs // Proceedings of the International Workshop on Program Understanding, Novosibirsk. — 2009. — p. 28-40.
57.Захаров В.А. Проверка эквивалентности программ при помощи двухлен-точных автоматов // Кибернетика и системный анализ. — 2010. — N 4. - с. 39-48.
58.Подымов В. В., Захаров В. А. Об одной полу групповой модели программ, определяемой при помощи двухленточных автоматов // Научные ведомости Белгородского государственного университета, Серия История. Политология. Экономика. Информатика. — 2010. — вып. 14/1, N 7. — с. 94-101.
59.Zakharov V.A. Equivalence checking of sequential programs using two-tape automata // International Workshop "Automata, algorithms, and information technologies". Abstracts. Kiev, May 19-21, 2010. - 2010. - с 25.
60.Подымов В.В., Захаров В.А. О двухленточных машинах, описывающих полугруппы с сокращением // Материалы 16-й Международной конференции "Проблемы теоретической кибернетики Нижний Новгород, 20-25 июня 2011. - 2011. - с. 372-375.