ИСТИНА

В настоящее время для решения проблем обеспечения безопасности определенной программно-аппаратной системы необходим систематический подход, включающий такие элементы, как методы предотвращения проблем и атак; методы обнаружения возникающих проблем и атак; методы решения возникающих проблем и купирования атак. Предотвращение и обнаружение проблем безопасности на систематической основе возможно лишь при четком описании типов возможных проблем безопасности системы, а также используемых в архитектуре и проекте системы решений, нацеленных на их блокирование и мониторинг признаков их возникновения. Основным способом описания наиболее важных проектных решений по защите системы и реализуемых ими свойств безопасности являются модели безопасности.

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 были продолжены исследования по проблемам анализа и проектирования программных систем различного уровня сложности и различного спектра действий. Совместно с Институтом системного программирования РАН выполнены исследования и работы по проблемам анализа бинарного кода, предложен метод трансформации традиционных для систем искусственного интеллекта представлений в объектные модели с целью последующего использования языков универсального моделирования как основы современных технологических инструментов программной инженерии.

Будет предложен метод оформления таких моделей на основе языка формальных спецификаций. Такой метод позволит в явном и строгом виде сформулировать гарантируемые свойства безопасности и применить его для описания сложных моделей безопасности современных операционных систем, а также использовать полученное описание для дальнейших более сложных задач разработки, прежде всего, анализа, верификации и тестирования моделей безопасности.