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


Федотов Андрей Николаевич

Разработка метода оценки эксплуатируемости программных дефектов

Диссертация защищена

Искомая степень: Кандидат технических наук.

Специальность: 05.13.11 – Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей.

Дата размещения: 2017-10-12.
Текст диссертации: Скачать

Решение совета о принятии диссертации к защите: Диссертация принята к защите.
Автореферат: Скачать
Отзыв научного руководителя: Скачать
Дата защиты: 2017-12-21.

Официальный оппонент: Ильин Вячеслав Анатольевич, доктор физико-математических наук (01.04.02).

Место работы, должность: начальник отдела Курчатовского комплек­са НБИКС-технологий Национального иссле­довательского центра «Курчатовский инсти­тут».

Основные публикации за последние 5 лет:

  1. S.A. Bobkov, A.B. Teslyuk, V.A. Ilyin. "Adaptation of SPSIM for simulation of diffraction images in XFEL experiments", Procedia Computer Science, 2015, v.66, p.1-4. DOI:10.1016/j.procs.2015.11.002
  2. С.А. Бобков, А.Б. Теслюк, О.Ю. Горобцов, О.М. Ефанов, Р.П. Курта, В.А. Ильин, М.В. Голосова, И.А. Вартаньянц. “Метод представления дифракционных изображений XFEL для классификации, индексации и поиска”. Компьютерные исследования и моделирование, 2015, т.7, №3, с.631-639.
  3. Andrey Aksenov, Andrey Pechenyuk, Alexey Poyda, Eygene Ryabinkin, Igor Tkachenko, Viacheslav Ilyin and Vasily Velikhov. “Virtual Basin for Simulating Ship Sailing Qualities on HPC Resources”, Procidia Computer Science, 2015, v.66, pp.132-139. DOI:10.1016/j.procs.2015.11.016
  4. A. Berezhnaya, …, V. Ilyin, et al. "LHC Grid Computing in Russia: present and future", Journal of Physics Conference Series, 2014, v.513, p.062041. DOI:10.1088/1742-6596/513/6/062041
  5. Демичев А.П., Ильин В.А., Крюков А.П., Поляков С.П. «Устойчивость работы регулярных и стохастических коммуникационных сетей со свойствами малого мира».  Вычислительные методы и программирование: Новые вычислительные технологии, 2014, т.15, №1, с 36-48.
  6. Andrey Demichev, Viatcheslav Ilyin, Alexander Kryukov, Stanislav Polyakov. "A Quality and Cost Approach for the Comparison of Small-World Interconnection Networks", Journal of Interconnection Networks, World Scientific (United States), v.14, № 02, p.1350008-1-1350008-27, 2013. DOI:10.1142/S0219265913500084
  7. Демичев А. П., …, Ильин В.А. и др. «Сравнительный анализ алгоритмов построения больших коммуникационных сетей со свойствами “малого мира”, Вестник Уфимского государственного авиационного технического университета, 2013, т.17, №.5, с. 58.
  8. Ильин В.А., Кореньков В.В., Крюков А.П. «ГридННС: состояние и перспективы», Труды 5-й Международной конференции «Распределенные вычисления и грид-технологии в науке и образовании (Дубна, 16-21 июля 2012), ОИЯИ, Дубна, 2012, сс.332-336.
  9. Демичев А.П., Ильин В.А., Крюков А.П., Поляков С.П. «Архитектура коммуникационной среды суперкомпьютеров следующего поколения и теория пространственно-вложенных сложных сетей», Труды 5-й Международной конференции «Распределенные вычисления и грид-технологии в науке и образовании (Дубна, 16-21 июля 2012), ОИЯИ, Дубна, 2013, сс.292-301.

Отзыв оппонента: Скачать

Официальный оппонент: Козачок Александр Васильевич, кандидат технических наук (05.13.19).

Место работы, должность: сотрудник ФГКВОУ ВО «Академия Федеральной службы охраны Российской Федерации».

Основные публикации за последние 5 лет:

  1. Козачок А. В. Разработка эвристического механизма обнаружения вредоносных программ на основе скрытых марковских моделей // Проблемы информационной безопасности. Компьютерные системы. – 2016. – Т. 2. – С. 118—127.
  2. Козачок А. В., Кочетков Е. В. Обнаружение вредоносного программного обеспечения на основе выявления аномальной сетевой активности // Информационные системы и технологии. – 2016. – Т. 97, № 5. – С. 107—114.
  3. Козачок А. В., Кочетков Е. В. Обоснование возможности применения верификации программ для обнаружения вредоносного кода // Вопросы кибербезопасности. – 2016. – Т. 16, № 3. – С. 25—32.
  4. Козачок А. В., Бочков М. В., Лай М. Т. Теоретическое обоснование стойкости неразличимой обфускации // Вопросы кибербезопасности. – 2016. – Т. 14, № 1. – С. 36—46.
  5. Kozachok A. V. A Novel Approach to Ensure Data Confidentiality Using Encryption and Obfuscation // Journal of Science and Technology on Information Security. – Hanoi, Vietnam, 2016. – Vol. 3, no. 2. – Pp. 3–9.
  6. Козачок А. В., Кочетков Е. В., Татаринов А. М. Обоснование возможности построения эвристического механизма распознавания вредоносных программ на основе статического анализа исполняемых файлов // Вестник компьютерных и информационных технологий. – 2017. – Т. 153, № 3. – С. 50–56.
  7. Козачок А. В., Кочетков Е. В. Формальная модель функционирования процесса в операционной системе // Труды СПИИРАН. – 2017. – Т. 51, № 2. – С. 78—96.
  8. Kozachok A. V. Formal logical language to set requirements for secure code execution // Programming and Computer Software. – 2017. – Sept. – Vol. 43, no 5. – Pp. 314—319. – URL: https://doi.org/10.1134/S036176881705005X.
  9. Kozachok A. V., Kozachok V. I. Construction and evaluation of the new heuristic malware detection mechanism based on executable files static analysis // Journal of Computer Virology and Hacking Techniques. – 2017. – Oct. – URL: https://doi.org/10.1007/s11416-017-0309-3.
  10. Kozachok A. V., Bochkov M. V., Kochetkov E. V. Heuristic malware detection mechanism based on executable files static analysis // Image Processing, Geoinformation Technology and Information Security. Information Technology and Nanotechnology 2017. – Samara, Russia: CEUR Workshop Proceedings, 2017. – Pp. 132—139.

Отзыв оппонента: Скачать

Ведущая организация: Межведомственный суперкомпьютерный центр Российской академии наук - филиал Федерального государственного учреждения «Федеральный научный центр Научно-исследовательский институт системных исследований Российской академии наук»

Контактные данные: 119334, Москва, Ленинский проспект, 32а, (495) 938-1875, jscc@jscc.ru, http://www.jscc.ru/

Основные публикации за последние 5 лет:

  1. Дикарев Н.И., Шабанов Б.М., Шмелев А.С. ВЫБОР ОПТИМАЛЬНОЙ ПРОИЗВОДИТЕЛЬНОСТИ ЯДРА ВЕКТОРНОГО ПОТОКОВОГО ПРОЦЕССОРА. Суперкомпьютерные технологии (СКТ-2016) материалы 4-й Всероссийской научно-технической конференции. 2016. С. 36-41.
  2. Дикарев Н.И., Шабанов Б.М., Шмелёв А.С. ИСПОЛЬЗОВАНИЕ МЕЛКО ГРАНУЛЯРНОГО ПАРАЛЛЕЛИЗМА В ПРОЦЕССОРЕ С АРХИТЕКТУРОЙ УПРАВЛЕНИЯ ПОТОКОМ ДАННЫХ. Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2016. № 2. С. 144-150.
  3. Дикарев Н.И., Шабанов Б.М. Архитектура высокопроизводительных вычислительных систем. М.: ФАЗИС, 2015. 108 с., ил.
  4. Корнеев В.В., Семенов Д.В., Телегин П.Н., Шабанов Б.М. ОТКАЗОУСТОЙЧИВОЕ ДЕЦЕНТРАЛИЗОВАННОЕ УПРАВЛЕНИЕ РЕСУРСАМИ ГРИД. Известия высших учебных заведений. Электроника. 2015. Т. 20. № 1. С. 83-90.
  5. Дикарев Н.И., Шабанов Б.М., Шмелёв А.С. ИСПОЛЬЗОВАНИЕ «СДВОЕННОГО» УМНОЖИТЕЛЯ И СУММАТОРА В ВЕКТОРНОМ ПРОЦЕССОРЕ С АРХИТЕКТУРОЙ УПРАВЛЕНИЯ ПОТОКОМ ДАННЫХ. Программные системы: теория и приложения. 2015. Т. 6. № 4 (27). С. 227-241.
  6. Дикарев Н.И., Шабанов Б.М., Шмелев А.С. ВЕКТОРНЫЙ ПОТОКОВЫЙ ПРОЦЕССОР: ОЦЕНКА ПРОИЗВОДИТЕЛЬНОСТИ. Известия ЮФУ. Технические науки. 2014. № 12 (161). С. 36-46.
  7. Аладышев О.С., Киселёв Е.А., Савин Г.И., Телегин П.Н., Шабанов Б.М. ВЛИЯНИЕ ХАРАКТЕРИСТИК ВНЕШНЕЙ ПАМЯТИ СУПЕРКОМПЬЮТЕРНЫХ КОМПЛЕКСОВ НА ВЫПОЛНЕНИЕ ПАРАЛЛЕЛЬНЫХ ПРОГРАММ. Системы и средства информатики. 2014. Т. 24. № 4. С. 111-123.
  8. Аладышев О.С., Баранов А.В., Ионин Р.П., Киселёв Е.А., Орлов В.А. Сравнительный анализ вариантов развёртывания программных платформ для высокопроизводительных вычислений // Вестник УГАТУ. - 2014. - т.18. - № 3 (64). – с 295-300
  9. Баранов А.В., Киселёв Е.А., Ляховец Д.С. Квазипланировщик для использования простаивающих модулей многопроцессорной вычислительной системы под управлением СУППЗ // Вестник Южно-уральского государственного университета. Серия «Вычислительная математика и информатика». 2014. Т. 3. № 4. С 75-84.
  10. Иванов В.К., Палюх Б.В., Сотников А.Н. Архитектура интеллектуальной системы информационной поддержки инноваций в науке и образовании // Программные продукты и системы. - № 4. 2013, с. 203-208.
  11. Demidov D., Ahnert K., Rupp K, Gottschling P. Programming CUDA and OpenCL: A case study using modern C++ libraries// SIAM J. Sci. Comput. 2013. V. 35. No 5. P. C453-C472

Отзыв ведущей организации: Скачать

Решение диссертационного совета по результатам защиты диссертации: Принято решение о присуждении степени.

Присутствовало 16 из 20 членов диссертационного совета: 16 из 20 членов диссертационного совета, из них 6 докторов наук по специальности рассматриваемой диссертации: Томилин А.Н., Петренко А.К., Зеленов С.В., Абрамов С.А., Бурдонов И.Б., Дроздов А.Ю., Жданов А.А., Захаров В.Н., Карпов Л.Е., Крюков В.А., Кузюрин Н.Н., Лаврищева Е.М., Машечкин И.В., Позин Б.А., Семенов В.А., Шнитман В.З.

Заключение диссертационного совета: Скачать