![]() |
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
В настоящее время для решения проблем обеспечения безопасности определенной программно-аппаратной системы необходим систематический подход, включающий такие элементы, как методы предотвращения проблем и атак; методы обнаружения возникающих проблем и атак; методы решения возникающих проблем и купирования атак. Предотвращение и обнаружение проблем безопасности на систематической основе возможно лишь при четком описании типов возможных проблем безопасности системы, а также используемых в архитектуре и проекте системы решений, нацеленных на их блокирование и мониторинг признаков их возникновения. Основным способом описания наиболее важных проектных решений по защите системы и реализуемых ими свойств безопасности являются модели безопасности.
Nowadays a systematic approach is needed to solve security problems of a certain software and hardware system, including such elements as methods of preventing problems and attacks; Methods for detecting problems and attacks How to solve problems and stop attacks. The prevention and detection of security problems on a systematic basis is possible only with a clear description of the types of possible system security problems, as well as the solutions used in the architecture and design of the system, aimed at blocking them and monitoring the signs of their occurrence. The main way to describe the most important design solutions for system protection and the safety properties implemented by them are safety models.
В ходе выполнения научно-исследовательских работ по заявленному проекту будет проведено исследование методов построения моделей безопасности программно-аппаратных систем.
В период с 2016г. по 2020 г. на кафедре системного программирования в рамках госбюджетной темы №АААА-А16-116021510037-3 были продолжены исследования по проблемам анализа и проектирования программных систем различного уровня сложности и различного спектра действий. Совместно с Институтом системного программирования РАН выполнены исследования и работы по проблемам анализа бинарного кода, предложен метод трансформации традиционных для систем искусственного интеллекта представлений в объектные модели с целью последующего использования языков универсального моделирования как основы современных технологических инструментов программной инженерии.
Будет предложен метод оформления таких моделей на основе языка формальных спецификаций. Такой метод позволит в явном и строгом виде сформулировать гарантируемые свойства безопасности и применить его для описания сложных моделей безопасности современных операционных систем, а также использовать полученное описание для дальнейших более сложных задач разработки, прежде всего, анализа, верификации и тестирования моделей безопасности.
МГУ имени М.В.Ломоносова | Координатор |
госбюджет, раздел 0706 (для тем по госзаданию) |
# | Сроки | Название |
1 | 1 января 2021 г.-31 декабря 2021 г. | Исследование методов построения систем анализа и проектирования программного обеспечения |
Результаты этапа: В ходе выполнения работ первого этапа научно-исследовательской работы по проекту выполнены исследования методов разработки и реализации инструментальной среды поддержки процессов прямой и обратной инженерии программных систем различного уровня сложности. В том числе в анализаторе Svace, разрабатываемом совместно с Институтом системного программирования им. В.П. Иванникова РАН и выполняющем статический анализ программ, для поиска ошибок, были предложены алгоритмы поиска ошибок, связанных с использованием данных. Такие данные получаются из внешних источников и потенциально могут контролироваться злоумышленником. Проведено исследование используемых на практике методов верификации формальных моделей защищенности программных систем. Изучены возможности применения методов дедуктивной верификации, проверки выполнимости и симуляции сценариев с мониторингом верифицируемых свойств к моделям защищенности индустриальных систем. | ||
2 | 1 января 2022 г.-31 декабря 2022 г. | Исследование методов построения систем анализа и проектирования программного обеспечения |
Результаты этапа: В ходе выполнения работ второго этапа научно-исследовательской работы по проекту выполнены исследования используемых на практике методов автоматизации верификации формальных моделей защищенности программных и аппаратных систем, выполнена разработка и реализация элементов инструментальной среды поддержки процессов прямой и обратной инженерии программных систем различного уровня сложности. В рамках анализатора Svace, разрабатываемого совместно с Институтом системного программирования им. В.П. Иванникова РАН, реализованы алгоритмы поиска ошибок помеченных данных, как компоненты, работающие по схеме «источник-приёмник». В качестве источников используются вызовы библиотечных функций, получающих данные извне программы, а также аргументы функции main. Приёмниками являются обращение к массивам, использование переменных как шага или границы цикла, вызов функций, требующих проверенных аргументов. Поддерживается обработка непроверенных целых чисел и строк. Изучены проблемы практического применения методов автоматизированной дедуктивной верификации и автоматизированной симуляции сценариев с мониторингом верифицируемых свойств для моделей защищенности систем промышленного уровня сложности. Результаты исследований доложены на конференции “Ломоносовские Чтения 2022“. | ||
3 | 1 января 2023 г.-31 декабря 2023 г. | Исследование методов построения систем анализа и проектирования программного обеспечения |
Результаты этапа: В ходе выполнения работ третьего этапа научно-исследовательской работы по проекту проведено исследование используемых на практике методов спецификации и верификации формальных моделей защищенности распределенных программно-аппаратных систем. Изучены возможности применения методов дедуктивной верификации, проверки выполнимости и симуляции сценариев с мониторингом верифицируемых свойств к моделям защищенности систем промышленного уровня сложности. Результаты исследований доложены на конференции “Ломоносовские Чтения 2023“. | ||
4 | 1 января 2024 г.-31 декабря 2024 г. | Исследование методов построения систем анализа и проектирования программного обеспечения |
Результаты этапа: | ||
5 | 1 января 2025 г.-31 декабря 2025 г. | Исследование методов построения систем анализа и проектирования программного обеспечения |
Результаты этапа: |
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".
№ | Имя | Описание | Имя файла | Размер | Добавлен |
---|