Персона: Григорьев, Михаил Павлович
Загружается...
Email Address
Birth Date
Научные группы
Организационные подразделения
Организационная единица
Институт интеллектуальных кибернетических систем
Цель ИИКС и стратегия развития - это подготовка кадров, способных противостоять современным угрозам и вызовам, обладающих знаниями и компетенциями в области кибернетики, информационной и финансовой безопасности для решения задач разработки базового программного обеспечения, повышения защищенности критически важных информационных систем и противодействия отмыванию денег, полученных преступным путем, и финансированию терроризма.
Статус
Фамилия
Григорьев
Имя
Михаил Павлович
Имя
5 results
Результаты поиска
Теперь показываю 1 - 5 из 5
- ПубликацияОткрытый доступСПОСОБ СТОХАСТИЧЕСКОГО XSL-ПРЕОБРАЗОВАНИЯ(НИЯУ МИФИ, 2026) Иванов, М. А.; Агиевец, К. В.; Григорьев, М. П.; Лавров, Б. О.; Комаров, Т. И.; Иванов, Михаил Александрович; Григорьев, Михаил Павлович; Комаров, Тимофей ИльичСтохастическое преобразование – непредсказуемое преобразование информации, используется, например, при реализации функции обратной связи или функции выхода генераторов псевдослучайных чисел, ориентированных на решение задач защиты информации. В статье рассматривается XSL-преобразование, предполагающее многократное повторение раунда, в состав которого входят операции сложения по модулю 2 с раундовым ключом (XOR), замены (Substitution) и линейной (Linear) операции MixState перемешивания состояния, т.е. промежуточного результата преобразования. Каждое преобразование замены в каждом блоке замены само является многораундовым XSL-преобразованием, вложенным в основное стохастическое XSL-преобразование. В предлагаемом преобразования используется эвристический прием «Принцип матрешки», что усложняет преобразование и делает его необратимым. Такое решение соответствует одному из законов развития технических систем, который называется «переход на микроуровень».
- ПубликацияОткрытый доступАРХИТЕКТУРА MORPHEUS-X: МНОГОУРОВНЕВАЯ АППАРАТНО-ПРОГРАММНАЯ ЗАЩИТА ОТ ROP- И JOP-АТАК НА ОСНОВЕ ДИНАМИЧЕСКОГО ПЕРЕСТРОЕНИЯ СОСТОЯНИЯ(НИЯУ МИФИ, 2026) Григорьев, М. П.; Григорьев, Михаил ПавловичРассматривается задача повышения устойчивости программных модулей к атакам повторного использования кода (code-reuse attacks), прежде всего к возвратно-ориентированному программированию (ROP) и переходно-ориентированному программированию (JOP). В отличие от классической инъекции кода, при таких атаках вредоносная последовательность действий формируется из фрагментов уже присутствующего машинного кода. Благодаря этому они остаются осуществимыми даже при запрете исполнения данных и частичной рандомизации адресного пространства. Предлагается архитектура Morpheus-X, развивающая подход динамически перестраиваемой защиты (moving target defense, MTD) за счёт периодического обновления состояния системы. Архитектура включает следующие компоненты: (1) многоверсионность кода и менеджер версий (CVM); (2) контекстно-зависимое шифрование кодовых указателей и метаданных; (3) исполнение кода из зашифрованной памяти в режиме исполнения без чтения (execute-only); (4) механизм контекстной привязки потока управления, при котором корректность расшифровки определяется предыдущей точкой перехода; (5) детектор паттернов ROP и JOP, используемый для ускоренного обновления состояния. Показано, что такое сочетание механизмов сокращает период, в течение которого ранее выявленные гаджеты и адреса сохраняют пригодность для атаки, и тем самым затрудняет построение длинных цепочек ROP и JOP. В работе также представлены модель угроз, ограничения предлагаемого подхода и методика оценки его накладных расходов и совместимости.
- ПубликацияОткрытый доступРАСПОЗНАВАНИЕ И СИНТЕЗ ROP-ЦЕПОЧЕК В PE-МОДУЛЯХ WINDOWS ПО СПЕЦИФИКАЦИИ ЦЕЛЕВЫХ ОПЕРАЦИЙ(НИЯУ МИФИ, 2026) Григорьев, М. П,; Иванов, М. А.; Иванов, Михаил Александрович; Григорьев, Михаил ПавловичВозвратно-ориентированное программирование (ROP) остаётся одним из ключевых классов атак повторного использования кода, при этом само по себе наличие в исполняемом модуле отдельных гаджетов ещё не позволяет сделать вывод о возможности построения практически значимой цепочки. В связи с этим возникает задача определения того, может ли в конкретном PE (Portable Executable)-модуле Windows быть реализована заданная целевая операция при ограничениях на длину цепочки и область поиска. Цель исследования – разработка статического метода и программного прототипа для определения возможности построения ROP-цепочки по заданной пользователем спецификации целевых операций в исполняемых модулях формата PE для архитектур x86/x64. Методы исследования – статическое извлечение гаджетов, завершающихся инструкцией RET и её эквивалентными инструкциями, построение семантического описания того, как каждый гаджет изменяет состояние регистров, стека и памяти, а также сведение задачи поиска цепочки к задаче синтеза программы в модели виртуальной машины гаджетов, которые выступают в роли команд. Поиск решения выполняется путём согласования предусловий и постусловий, отсечения недопустимых ветвей и последующей проверки найденных цепочек с помощью эмуляции. Результаты исследования – предложена постановка задачи статического построения ROP-цепочек на основе заданной спецификации целевых операций для PE-модулей Windows при явных архитектурных и поисковых ограничениях; разработан метод, предусматривающий два результата анализа: построение цепочки, удовлетворяющей заданной спецификации, либо формально установленную недостижимость цели в пределах выбранной модели и ограничений; реализован прототип, формирующий воспроизводимое описание найденной цепочки, включая адреса гаджетов, последовательности инструкций, входные условия и ожидаемое конечное состояние. Экспериментальная проверка на тестовых примерах и системных библиотеках Windows подтверждает практическую ценность предложенного подхода для предварительной оценки возможности построения ROP-цепочек в анализируемом модуле и для обоснования использования механизмов защиты потока управления.
- ПубликацияОткрытый доступРАСШИРЕНИЕ БАЗОВОЙ АРХИТЕКТУРЫ MORPHEUS С УСИЛЕННОЙ ЗАЩИТОЙ ОТ ВОЗВРАТНО- ОРИЕНТИРОВАННЫХ (ROP) И ПЕРЕХОДНО- ОРИЕНТИРОВАННЫХ (JOP) АТАК(НИЯУ МИФИ, 2025) ГРИГОРЬЕВ, М. П.; Григорьев, Михаил ПавловичПредлагается система исполнения кода для многоуровневой защиты от атак на основе повторного использования кода. Архитектура развивает идею «скользящей цели» (Morpheus) и сочетает проактивную рандомизацию, аппаратное дешифрование инструкций «на лету» и реактивное обнаружение атак. Встроенный генератор ПСЧ обеспечивает непредсказуемую смену режимов защиты и адресов. Модуль многоверсионного кода позволяет прозрачно ротировать реализации функций без прерывания работы. Модифицированный execute-only кеш ограничивает видимость и анализ исполняемого кода.
- ПубликацияОткрытый доступМАНИПУЛЯЦИЯ СПЕКУЛЯТИВНЫМ ПОТОКОМ УПРАВЛЕНИЯ(НИЯУ МИФИ, 2025) ГРИГОРЬЕВ, М. П.; Григорьев, Михаил ПавловичРассматривается атака, использующая спекулятивное исполнение для временного перехвата потока команд и обхода механизмов защиты памяти. Показано, что при целенаправленной манипуляции предсказателем ветвлений и задержкой проверок возможно спекулятивно перенаправить выполнение на произвольный участок кода до срабатывания защитных средств. Спекулятивно выполненные инструкции получают доступ к конфиденциальным данным и через побочные эффекты утечка информации становится возможной, хотя впоследствии архитектурное состояние программы корректируется.