Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ЦЭМИ РАН
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
отправить сообщение
Пучков Федор Михайлович
пользователь
Прежние места работы
(Нажмите для отображения)
МГУ имени М.В. Ломоносова
,
Научно-исследовательский институт механики
,
404 Лаборатория автоматизации экспериментальных исследований
, старший научный сотрудник, 15 ноября 2010 - 30 октября 2015
Соавторы:
Шапченко К.А.
,
Васенин В.А.
,
Андреев О.О.
,
Климовский А.А.
,
Шундеев А.С.
,
Батов И.С.
,
Большаков М.В.
,
Галатенко А.В.
,
Иткес А.А.
,
Маркелов К.К.
,
Першин И.С.
,
Савкин В.Б.
,
Астапов И.С.
показать полностью...
,
Афонин С.А.
,
Большаков М.В.
,
Дзыба М.С.
,
Казарин О.В.
,
Козицын А.С.
,
Коршунов А.А.
,
Кривчиков М.А.
,
Лёвин В.Ю.
,
Титов А.С.
10 статей
,
2 книги
,
1 доклад на конференции
,
2 тезисов докладов
,
4 НИР
,
5 патентов
,
3 научного отчёта
,
1 диссертация
,
1 дипломная работа
,
1 курсовая работа
,
3 учебных курса
Количество цитирований статей в журналах по данным Web of Science: 1, Scopus: 4
IstinaResearcherID (IRID): 211432
Деятельность
Статьи в журналах
2012
К созданию защищенной наложенной сети связи нового поколения для передачи данных
Васенин В.А.
,
Лёвин В.Ю.
,
Пучков Ф.М.
,
Шапченко К.А.
в журнале
Программная инженерия
, издательство
Новые технологии
(Москва)
, № 4, с. 2-8
2012
Обеспечение информационной безопасности в распределенных системах на основе технологий Grid и Cloud Computing: традиционные средства защиты и вопросы асимметрии доверия
Васенин В.А.
,
Иткес А.А.
,
Пучков Ф.М.
,
Шапченко К.А.
в журнале
Программная инженерия
, издательство
Новые технологии
(Москва)
, № 1, с. 28-34
2012
Формальная верификация C и C++ программ: практические аспекты
Пучков Ф.М.
,
Шапченко К.А.
в журнале
Программная инженерия
, издательство
Новые технологии
(Москва)
, № 3
2005
Static Analysis Method for Detecting Buffer Overflow Vulnerabilities
Puchkov F.
,
Shapchenko K.
в журнале
Programming and Computer Software
, издательство
Pleiades Publishing, Ltd
(Road Town, United Kingdom)
, том 31, № 4, с. 179-189
2005
Статический метод анализа программного обеспечения на наличие угроз переполнения буферов
Пучков Ф.М.
,
Шапченко К.А.
в журнале
Программирование
, № 4, с. 19-34
Статьи в сборниках
2007
К созданию автоматизированных средств верификации программного кода
Пучков Ф.М.
,
Шапченко К.А.
,
Андреев О.О.
в сборнике
Материалы Второй международной научной конференции по проблемам безопасности и противодействия терроризму. Пятая общероссийская научная конференция "Математика и безопасность информационных технологий" (МаБИТ-06)
, с. 401-439
2007
Объекты критически важных инфраструктур: анализ защищенности и риски успешной реализации компьютерных атак.
Климовский А.А.
,
Большаков М.В.
,
Пучков Ф.М.
в сборнике
Материалы Второй международной научной конференции по проблемам безопасности и противодействия терроризму. Пятая общероссийская научная конференция "Математика и безопасность информационных технологий" (МаБИТ-06)
, с. 315-335
2006
О проверке свойств информационных потоков в распределенныхинформационных системах // Материалы международной научной конференции попроблемам безопасности и противодействия терроризму
Пучков Ф.М.
в сборнике
Третья международная конференция по проблемам управления (20-22 июня 2006 года)
, том 2006, с. 230-238
2005
К вопросу о выявлении возможных переполнений буферов посредством статического анализа исходного кода программ
Пучков Ф.М.
,
Шапченко К.А.
в сборнике
Математика и безопасность информационных технологий. Материалы конференции в МГУ 28-29 октября 2004 г.
, место издания
МЦНМО
, с. 347-359
2003
Способ анализа программ на наличие угроз переполнения буферов
Галатенко А.В.
,
Пучков Ф.М.
,
Шапченко К.А.
в сборнике
Информационная безопасность регионов России (ИБРР-2003): материалы конференции
, с. 33
Книги
2008
Критически важные объекты и кибертерроризм. Часть 1. Системный подход к организации противодействия
Батов И.С.
,
Андреев О.О.
,
Большаков М.В.
,
Васенин В.А.
,
Шапченко К.А.
,
Климовский А.А.
,
Маркелов К.К.
,
Пучков Ф.М.
,
Савкин В.Б.
,
Казарин О.В.
место издания
МЦНМО Москава
, ISBN 978-5-94057-416-3, 398 с.
2008
Критически важные объекты и кибертерроризм. Часть 2. Аспекты программной реализации средств противодействия
Козицын А.С.
,
Коршунов А.А.
,
Маркелов К.К.
,
Першин И.С.
,
Пучков Ф.М.
,
Савкин В.Б.
,
Титов А.С.
,
Шапченко К.А.
,
Климовский А.А.
,
Иткес А.А.
,
Дзыба М.С.
,
Галатенко А.В.
,
Васенин В.А.
,
Шундеев А.С.
,
Батов И.С.
,
Афонин С.А.
,
Астапов И.С.
,
Андреев О.О.
,
Большаков М.В.
место издания
None
, 607 с.
Доклады на конференциях
2013
Организация распределенных вычислений на базе платформы ERLANG/OTP
(Устный)
Авторы:
Пучков Ф.М.
,
Кривчиков М.А.
,
Шундеев А.С.
Ломоносовские чтения - 2013. Филиал МГУ в г. Севастополе
, Филиал МГУ в г. Севастополе, Украина, 19-20 апреля 2013
Тезисы докладов
2013
Организация распределенных вычислений на базе платформы ERLANG/OTP
Шундеев А.С.
,
Пучков Ф.М.
,
Кривчиков М.А.
в сборнике
ЛОМОНОСОВСКИЕ ЧТЕНИЯ, 2013
, серия
Секция механики
, место издания
Изательство Московского университета Москва
, тезисы, с. 150-150
2012
Система управления композитными заданиями на базе платформы Erlang/OTP
Шундеев А.С.
,
Пучков Ф.М.
,
Першин И.С.
в сборнике
Ломоносовские чтения 2012. Секция механики
, тезисы
НИРы
1 января 2014 - 31 декабря 2016
Информатика защищенных критически важных объектов
Институт проблем информационной безопасности
Руководитель:
Васенин В.А.
Участники НИР:
Зензинов А.А.
,
Иткес А.А.
,
Пучков Ф.М.
,
Шапченко К.А.
10 сентября 2013 - 31 декабря 2019
Развитие и сопровождение системы подготовки принятия решений на основе анализа информации о результатах научно-исследовательской, педагогической и инновационной деятельности ИАС «ИСТИНА»
404 Лаборатория автоматизации экспериментальных исследований
Руководитель:
Васенин В.А.
Участники НИР:
Артамкин С.А.
,
Астапов И.С.
,
Афонин С.А.
,
Бахтин А.В.
,
Богопольский Г.А.
,
Большова М.И.
,
Бухонов В.Ю.
,
Валединский В.Д.
,
Галатенко А.В.
,
Ганкин Г.М.
,
Гаспарянц А.Э.
,
Глебова О.В.
,
Голомазов Д.Д.
,
Гувернюк С.В.
,
Занчурин М.А.
,
Зензинов А.А.
,
Иткес А.А.
,
Калинина Т.А.
,
Карпенко Д.С.
,
Козицын А.С.
,
Коршунов А.А.
,
Костюхин К.А.
,
Кривчиков М.А.
,
Морозова Н.А.
,
Першин И.С.
,
Пучков Ф.М.
,
Роганов В.А.
,
Рябинина Н.В.
,
Федорова О.В.
,
Шапченко К.А.
,
Шачнев Д.А.
,
Шокуров А.В.
,
Шундеев А.С.
1 сентября 2011 - 31 декабря 2011
Разработка алгоритма распараллеливания теплогидравлического кода (CMS) полномасштабной модели
Научно-исследовательский институт механики
Руководитель:
Васенин В.А.
Участники НИР:
Астапов И.С.
,
Афонин С.А.
,
Голомазов Д.Д.
,
Занчурин М.А.
,
Иткес А.А.
,
Казьмин О.О.
,
Козицын А.С.
,
Коршунов А.А.
,
Кривчиков М.А.
,
Морозова Н.А.
,
Першин И.С.
,
Пучков Ф.М.
,
Рагулин А.Д.
,
Роганов В.А.
,
Титов А.С.
,
Шапченко К.А.
,
Шундеев А.С.
11 января 2011 - 31 декабря 2015
Модели и программные средства информационно-вычислительных систем
404 Лаборатория автоматизации экспериментальных исследований
Руководитель:
Васенин В.А.
Участники НИР:
Астапов И.С.
,
Афонин С.А.
,
Бахтин А.В.
,
Бухонов В.Ю.
,
Ганкин Г.М.
,
Голомазов Д.Д.
,
Занчурин М.А.
,
Зензинов А.А.
,
Иткес А.А.
,
Козицын А.С.
,
Коршунов А.А.
,
Костюхин К.А.
,
Кривчиков М.А.
,
Лунев К.В.
,
Морозова Н.А.
,
Пучков Ф.М.
,
Роганов В.А.
,
Тумайкин И.Н.
,
Шапченко К.А.
,
Шокуров А.В.
,
Шундеев А.С.
Патенты
2016
Indoor Navigation Method And system
Авторы:
Панев А.А.
,
Смирнов А.С.
,
Косьянчук В.В.
,
Пучков Ф.М.
,
Тычинин П.С.
,
Демидов О.А.
#WO2016195527, 8 декабря
2009
Способ верификации программного обеспечения распределительных вычислительных комплексов и система для его реализации
Авторы:
Пучков Ф.М.
,
Шапченко К.А.
#2373570, 20 ноября
2009
Способ генерации баз данных и баз знаний для систем верификации программного обеспечения распределенных вычислительных комплексов и устройство для его реализации
Авторы:
Пучков Ф.М.
,
Шапченко К.А.
#2373569, 20 ноября
2009
Способ генерации баз знаний для систем верификации программного обеспечения распределенных вычислительных комплексов и устройство для его реализации
Авторы:
Пучков Ф.М.
,
Шапченко К.А.
#2364930, 20 августа
2009
Способ генерации баз данных для систем верификации программного обеспечения распределенных вычислительных комплексов и устройство для его реализации
Авторы:
Пучков Ф.М.
,
Шапченко К.А.
#2364929, 20 августа
Отчеты
2014
ОЦЕНКА ПРОИЗВОДИТЕЛЬНОСТИ ПРОТОТИПА «ПАРАЛЛЕЛЬНОЙ» ВЕРСИИ ТЕПЛОГИДРАВЛИЧЕСКОГО КОДА СMS ПРИ РАБОТЕ НА СУПЕР ЭВМ
Авторы:
Васенин В.А.
,
Афонин С.А.
,
Козицын А.С.
,
Коршунов А.А.
,
Шундеев А.С.
,
Астапов И.С.
,
Першин И.С.
,
Пучков Ф.М.
,
Роганов В.А.
,
Шапченко К.А.
,
Голомазов Д.Д.
,
Иткес А.А.
,
Занчурин М.А.
,
Казьмин О.О.
,
Кривчиков М.А.
,
Рагулин А.Д.
#5244, 44 с.
2014
Разработка алгоритма распараллеливания теплогидравлического кода (СМS) полномасштабной модели
Авторы:
Васенин В.А.
,
Афонин С.А.
,
Козицын А.С.
,
Коршунов А.А.
,
Шундеев А.С.
,
Астапов И.С.
,
Першин И.С.
,
Пучков Ф.М.
,
Роганов В.А.
,
Шапченко К.А.
,
Голомазов Д.Д.
,
Иткес А.А.
,
Занчурин М.А.
,
Казьмин О.О.
,
Кривчиков М.А.
,
Рагулин А.Д.
#5243, 15 с.
2007
Разработка подходов к обеспечению информационной безопасности автоматизированных систем государственного управления на основе использования в их составе программного обеспечения с открытым кодом
Авторы:
Васенин В.А.
,
Шундеев А.С.
,
Андреев О.О.
,
Водомеров А.Н.
,
Галатенко А.В.
,
Галатенко В.В.
,
Горелов С.С.
,
Дзыба М.С.
,
Инюхин А.В.
,
Иткес А.А.
,
Климовский А.А.
,
Козицын А.С.
,
Конев И.М.
,
Коршунов А.А.
,
Костюхин К.А.
,
Макунин И.В.
,
Морозова Н.А.
,
Першин И.С.
,
Пучков Ф.М.
,
Роганов В.А.
,
Савкин В.Б.
,
Сидорова В.А.
,
Степанов Е.А.
,
Хазова Е.Е.
,
Шапченко К.А.
#4900
Диссертация
2010
Методы и средства автоматизированного обнаружения уязвимостей в программах на языке С на основе статического анализа их исходных текстов
Кандидатская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
Автор:
Пучков Ф.М.
Научный руководитель:
Васенин В.А.
, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.002.16
при МГУ имени М.В. Ломоносова, Механико-математический факультет
Руководство дипломными работами
2009
О трансляции программ на языке С++ в промежуточный трехадресный код
Научные руководители:
Васенин В.А.
,
Пучков Ф.М.
,
Шапченко К.А.
Автор: Данькин С.М. (Специалист)
Руководство курсовыми работами
2015
Исследование алгоритмов слежения
Научные руководители:
Пучков Федор Михайлович
,
Васенин Валерий Александрович
Автор: Кривчикова Ксения Александровна (Специалист)
Авторство учебных курсов
2014
Методы и средства защиты информации, информационная безопасность. Комплексный подход к проблеме обеспечения
Авторы:
Васенин В.А.
,
Галатенко А.В.
,
Шапченко К.А.
,
Пучков Ф.М.
2014
Криптографические методы защиты информации
Авторы:
Васенин В.А.
,
Галатенко А.В.
,
Шапченко К.А.
,
Пучков Ф.М.
2000
Комплексный подход к проблеме обеспечения информационной безопасности
Авторы:
Васенин В.А.
,
Шапченко К.А.
,
Пучков Ф.М.