Введение
1 Анализ сред облачных вычислений и методик выявления вредоносных свойств программного обеспечения 16
1.1 Анализ моделей реализаций сред облачных вычислений 17
1.1.1 Способы реализации сред облачных вычислений 18
1.1.2 Требования к программному обеспечению, разрабатываемому для выполнения в средах облачных вычислений. 22
1.1.3 Распространённые виды атак на по, осуществимые за счёт ошибок при его реализации 24
1.2 Методики выявления вредоносного по 29
1.2.1 Сигнатурные методики 29
1.2.2 Проактивные методики 30
1.3 Методики верификации программного обеспечения 35
1.4 Существующие меры обеспечения безопасности сред ов 39
1.5 Выводы 43
2 Математическая модель верификации программного обеспечения на наличие деструктивных свойств для сред облачных вычислений 45
2.1 Модель нарушителя 45
2.2 Математическая модель представления по 48
2.3 Математическая модель деструктивного свойства ПО 53
2.4 Постановка задачи 61
2.5 Формализованное решение поставленной задачи 66
2.6 Методика верификации программного обеспечения на наличие деструктивных свойств для сред облачных вычислений 73
2.7 Выводы 77
3 Архитектура системы верификации программного обеспечения на наличие деструктивных свойств для сред облачных вычислений 79
3.1 Архитектура программного комплекса 79
3.2 Описание функций, выполняемых модулями программного комплекса 83
3.3 Модель работы программного комплекса, реализующего методику верификации программного обеспечения на наличие деструктивных свойств для сред облачных вычислений 96
3.4 Выводы 97
4 Реализация системы верификации программного обеспечения на наличие деструктивных свойств для сред облачных вычислений 99
4.1 Преимущества предложенного решения, относительно иных способов выявления деструктивных свойств по 108
4.2 Основные характеристики программной реализации методики 113
4.3 Результаты внедрения работы 117
4.3.1 Реализация методики верификации программного обеспечения на наличие деструктивных свойств для сред облачных вычислений в центре вирусных исследований и аналитики «eset» 118
4.3.2 Внедрение элементов методики при создании системы верификации по в компании 000 «связьмонтажкомплектация» 119
4.3.3 Внедрение элементов методики при оценке рисков в компании ооо «тсс» 120
4.3.4 Разработка лабораторных работ «введение в верификацию по» и «разработка по для сред ов» для курса «языки программирования» кафедры «криптология и дискретная математика» нияу мифи 121
4.4 Выводы 122
Заключение 125
Список использованных источников 127
