Анализ безопасности программного обеспечения киберфизических систем с использованием методов

Степень разработанности темы исследования. Проблеме анализа безопасности 
ПО посвящено множество исследований российских и иностранных ученых, таких как 
А.И. Аветисян, А. Ю. Тихонов, А.С. Марков, В.А. Падарян, А.В. Благодаренко, 
М.О. Щудрак, М.А. Новиков, А.В. Козачок, И.В. Котенко, Г. Вигна, К. Крюгель, Э. Кирда. 
Проблемам обеспечения безопасности КФС посвящены работы Д.П. Зегжды,
И.В. Котенко, И.Б. Саенко, М.Е. Сухопарова, С.В. Беззатеева, Ю.С. Васильева. 
Объектом 
исследования 
является 
обследуемое 
на 
наличие 
опасных 
функциональных возможностей (ОФВ) ПО, функционирующее в составе КФС. 
Предметом исследования являются модели, методы и алгоритмы анализа 
безопасности ПО и выявления в нем опасных функциональных возможностей. 

---

4 
Целью работы является повышение эффективности выявления опасных 
функциональных возможностей в ПО за счет применения многовариантного 
динамического анализа безопасности поведения программы в изолированном окружении с 
использованием методов машинного обучения и символьного выполнения. 
Для достижения поставленной цели в работе решались следующие задачи: 
1. 
Провести исследование угроз безопасности ПО КФС и существующих 
методов выявления ОФВ. 
2. 
Разработать подход к определению функциональных возможностей ПО КФС 
на основе многовариантного динамического анализа поведения программы в 
изолированном окружении, обеспечивающий увеличение покрытия анализируемого 
исполняемого кода с учетом его потенциальной опасности. 
3. 
Разработать критерии опасности выполняемых ПО операций на основе 
анализа порождаемых ими информационных потоков с использованием показателей 
доверия и критичности. 
4. 
Разработать прототип системы анализа безопасности (САБ) ПО КФС и 
провести экспериментальные исследования эффективности его применения для выявления 
угроз безопасности КФС.