ИСТИНА

Защищенные диссертации сортировать по фамилии диссертанта сортировать по году защиты

• • 2016 Быстрые алгоритмы вычисления преобразований на основе эллиптических кривых
  • Кандидатская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
  • Автор: Хлебородов Денис Сергеевич, к.ф.-м.н.
  • Научный руководитель: Варфоломеев Александр Алексеевич, к.ф.-м.н., доц.
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
  • Организация, в которой выполнялась работа: МГТУ имени Н.Э. Баумана
• • 2015 Формальные модели и верификация свойств программ с использованием промежуточного представления
  • Кандидатская диссертация по специальности 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • Автор: Кривчиков М.А., к.ф.-м.н., МГУ имени М.В. Ломоносова
  • Научный руководитель: Васенин В.А., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
  • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
  • Ведущая организация: ФГБУН «Институт системного программирования Российской Академии Наук»
  • Оппоненты: Пальчунов Д.Е., Махортов С.Д.
• • 2015 Сложность распознавания принадлежности слова регулярному языку в системах обнаружения вторжений
  • Кандидатская диссертация по специальностям 05.13.19 - Методы и системы защиты информации, информационная безопасность, 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • Автор: Александров Дмитрий Евгеньевич, к.ф.-м.н.
  • Научные руководители: Галатенко А.В., к.ф.-м.н., МГУ имени М.В. Ломоносова, Панкратьев А.Е., к.ф.-м.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
  • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
  • Ведущая организация: ФГБОУ ВПО «Санкт-Петербургский государственный университет»
  • Оппоненты: Орлов В.А., Холоденко А.Б.
• • 2015 Функции с вариационно-координатной полиномиальностью над примарным кольцом вычетов и их приложения в задачах защиты информации
  • Кандидатская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
  • Автор: Заец Мирослав Владимирович
  • Научный руководитель: Никонов Владимир Глебович, д.т.н., проф.
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
  • Ведущая организация: ФГУП "НИИ "КВАНТ"
  • Оппоненты: Горшков Сергей Павлович, Логачев Олег Алексеевич
• • 2014 Адаптивная двухфазная схема решения задачи «структура-свойство»
  • Кандидатская диссертация по специальности 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • Автор: Прохоров Е.И., МГУ имени М.В. Ломоносова
  • Научный руководитель: Кумсков Михаил Иванович, д.ф.-м.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
  • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
• • 2014 Разработка и исследование метода релевантного обратного вывода
  • Кандидатская диссертация по специальности 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • Автор: Болотова С.Ю., Воронежский государственный университет
  • Научный руководитель: Махортов Сергей Дмитриевич, д.ф.-м.н., доц., Воронежский государственный университет
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
  • Ведущая организация: Московский государственный технический университет имени Н.Э. Баумана
  • Оппоненты: Бурдонов Игорь Борисович, Громов Юрий Юрьевич
• • 2013 Конечно-разностные методы решения уравнений мелкой воды на неструктурированных сетках
  • Кандидатская диссертация по специальности 01.01.07 - Вычислительная математика (физ.-мат. науки)
  • Автор: Друца Александр Валерьевич, к.ф.-м.н., МГУ имени М.В. Ломоносова
  • Научный руководитель: Кобельков Г.М., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2013 Построение импликативных зависимостей для аналитического описания предметных областей и обнаружения ошибок в данных
  • Кандидатская диссертация по специальности 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • Автор: Ревенко А.В.
  • Научный руководитель: Кузнецов С.О., д.ф.-м.н., проф.
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2013 Автоматная сложность булевых функций из классов Поста
  • Кандидатская диссертация по специальности 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • Автор: Кибкало М.А.
  • Научный руководитель: Бабин Д.Н., д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
  • Организация, в которой выполнялась работа: каф.МаТИС мех.-мат ф-та МГУ им. М.В. Ломоносова
  • Ведущая организация: РГГУ
  • Оппоненты: д -м Чечкин ф.н.А.В, к -м Зайцев ф.н.Д.В
• • 2013 Эквациональные LP-структуры и их приложения в системах переписывания
  • Кандидатская диссертация по специальности 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • Автор: Баранов Д.В.
  • Научный руководитель: Махортов С.Д., д.ф.-м.н., доц., Воронежский государственный университет
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2012 Комбинаторные свойства совершенно уравновешенных булевых функций
  • Кандидатская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
  • Автор: Смышляев С.В., д.ф.-м.н.
  • Научный руководитель: Логачев О.А., д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2012 Построение и анализ эффективных комбинаторных алгоритмов решения систем булевых уравнений
  • Кандидатская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
  • Автор: Мелузов А.С.
  • Научный руководитель: Логачев О.А., д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2012 Методы и средства управления научной информацией с использованием онтологий
  • Кандидатская диссертация по специальности 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • Автор: Голомазов Денис Дмитриевич, к.ф.-м.н.
  • Научный руководитель: Васенин Валерий Александрович, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
  • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
  • Ведущая организация: Институт математики имени С.Л. Соболева СО РАН
  • Оппоненты: Бездушный Анатолий Николаевич, Кузнецов Сергей Олегович
• • 2011 Аппроксимация дискретных функций алгебраически вырожденными функциями в анализе систем защиты информации
  • Кандидатская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
  • Автор: Алексеев Е.К.
  • Научный руководитель: Логачев О.А., д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2011 О построении и оценках характеристик корреляционно-иммунных булевых функций и смежных комбинаторных объектов
  • Кандидатская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
  • Автор: Халявин Андрей Вячеславович
  • Научный руководитель: Таранников Ю.В., к.ф.-м.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2011 О решении некоторых задач динамики океана
  • Кандидатская диссертация по специальности 01.01.07 - Вычислительная математика (физ.-мат. науки)
  • Автор: Друца Алексей Валерьевич, к.ф.-м.н., МГУ имени М.В. Ломоносова
  • Научный руководитель: Кобельков Г.М., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2011 Об одном приближении плотной упаковки
  • Кандидатская диссертация по специальности 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • Автор: Псиола В.В.
  • Научный руководитель: Строгалов А.С., к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2011 Численные решения уравнений типа Стокса с переменной вязкостью и приложения
  • Кандидатская диссертация по специальности 01.07 (физ.-мат. науки)
  • Автор: Гриневич П.П.
  • Научный руководитель: Ольшанский М.А., д.ф.-м.н.
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2011 Разработка метода интеллектуализации сложных систем на основе среды радикалов
  • Кандидатская диссертация по специальности 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • Автор: Пирогов М.В.
  • Научный руководитель: Чечкин А.В., д.ф.-м.н., проф.
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2010 "Использование Нечеткой Логики При Описании Молекул В Задаче «Структура-Свойство»
  • Кандидатская диссертация по специальности 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • Автор: Деветьяров Д.А.
  • Научный руководитель: Кумсков М.И., д.ф.-м.н., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2010 Логико-языковые средства описания моделей логического разграничения доступа
  • Кандидатская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
  • Автор: Андреев Олег Олегович
  • Научный руководитель: Васенин В.А., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2010 Метод адаптивного интерактивного анализа растровых изображений изменяемой детализации
  • Кандидатская диссертация по специальности 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • Автор: Шокуров Антон Вячеславович, к.ф.-м.н., МГУ имени М.В. Ломоносова
  • Научный руководитель: Михалев А.В., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2010 Методы и программные средства исследования моделей логического разграничения доступа на предмет выполнения требований по безопасности
  • Кандидатская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
  • Автор: Шапченко Кирилл Александрович, к.ф.-м.н.
  • Научный руководитель: Васенин В.А., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2010 Методы и средства автоматизированного обнаружения уязвимостей в программах на языке С на основе статического анализа их исходных текстов
  • Кандидатская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
  • Автор: Пучков Ф.М.
  • Научный руководитель: Васенин В.А., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2010 Методы цифровой подписи на основе эллиптических кривых в системе информационной безопасности организации воздушного движения
  • Кандидатская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
  • Автор: Левин В.Ю.
  • Научный руководитель: Носов В.А., к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2010 Пространство ключей криптосистемы Мак-Элиса-Сидельникова
  • Кандидатская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
  • Автор: Чижов Иван Владимирович, к.ф.-м.н., МГУ имени М.В. Ломоносова
  • Научный руководитель: Карпунин Г.А., к.ф.-м.н.
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2010 Управление доступом к ресурсам распределенных систем на основе отношений доверия
  • Кандидатская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
  • Автор: Иткес Александр Александрович, к.ф.-м.н.
  • Научный руководитель: Васенин В.А., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2010 Теория LP-структур для построения и исследования моделей знаний продукционного типа
  • Докторская диссертация по специальности 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • Автор: Махортов С.Д., д.ф.-м.н., доц., Воронежский государственный университет
  • Научный консультант: Васенин В.А., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
  • Ведущая организация: Вычислительный центр РАН
  • Оппоненты: Чечкин А.В., Кузнецов С.О., Пальчунов Д.Е.
• • 2010 Исследование трехпараметрического итерационного метода, ориентированного на решение двух классов задач с нелинейными седловыми операторами
  • Кандидатская диссертация по специальности 01.01.07 - Вычислительная математика (физ.-мат. науки)
  • Автор: Милютин С.В.
  • Научный руководитель: Чижонков Е.В., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2009 Алгебраические, комбинаторные и криптографические свойства параметров аффинных ограничений булевых функций
  • Кандидатская диссертация по специальности 05.13.19 - Методы и системы защиты информации, информационная безопасность (физ.-мат. науки)
  • Автор: Буряков М.Л., к.ф.-м.н.
  • Научный руководитель: Логачев Олег Алексеевич, д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2009 Алгоритмы построения однословной перезаписи регулярных путевых запросов
  • Кандидатская диссертация по специальности 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • Автор: Хазова Е.Е.
  • Научный руководитель: Васенин В.А., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2009 О решении некоторых задач моделирования крупномасштабной динамики океана
  • Кандидатская диссертация по специальности 01.01.07 - Вычислительная математика (физ.-мат. науки)
  • Автор: Сухов В.Б.
  • Научный руководитель: Кобельков Г.М., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 2009 Эффективные модели поиска в базах полуструктурированных данных на основе иерархии схем документов
  • Кандидатская диссертация по специальности 05.13.17 - Теоретические основы информатики (физ.-мат. науки)
  • Автор: Горелов Сергей Сергеевич
  • Научный руководитель: Васенин В.А., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет
• • 1987 Numerical Methods for Solving Boundary Value and Eigenvalue Problems for the Biharmonic Operator
  • Кандидатская диссертация по специальности 01.01.07 - Вычислительная математика (физ.-мат. науки)
  • Автор: Серегина Н.В., к.ф.-м.н.
  • Научный руководитель: Кобельков Г.М., д.ф.-м.н., проф., МГУ имени М.В. Ломоносова
  • Защищена в совете Д 501.002.16 при МГУ имени М.В. Ломоносова, Механико-математический факультет