Защита сред облачных вычислений путём верификации программного обеспечения на наличие деструктивных свойств

ВВЕДЕНИЕ
1 АНАЛИЗ СРЕД ОБЛАЧНЫХ ВЫЧИСЛЕНИЙ И МЕТОДИК ВЫЯВЛЕНИЯ ВРЕДОНОСНЫХ СВОЙСТВ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ
1.1 Анализ моделей реализаций сред облачных вычислений
1.1.1 Способы реализации сред облачных вычислений .
1.1.2 Требования к программному обеспечению, разрабатываемому для выполнения в средах облачных вычислений..
1.1.3 Распространнные виды атак на ПО, осуществимые за счт ошибок при его реализации с а
1.2 Методики выявления вредоносного ПО
1.2.1 Сигнатурные методики .
1.2.2 Проактивные методики
1.3 Методики верификации программного обеспечения.
1.4 Существующие меры обеспечения безопасности сред ОВ
1.5 выводы
2 МАТЕМАТИЧЕСКАЯ МОДЕЛЬ ВЕРИФИКАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА НАЛИЧИЕ ДЕСТРУКТИВНЫХ СВОЙСТВ ДЛЯ СРЕД ОБЛАЧНЫХ ВЫЧИСЛЕНИЙ .
2.1 Модель нарушителя
2.2 Математическая модель представления ПО
2.3 Математическая модель деструктивного свойства ПО.
2.4 Постановка задачи
2.5 Формализованное решение поставленной задачи
2.6 Методика верификации программного обеспечения на наличие деструктивных свойств для сред облачных вычислений.
2.7 Выводы.
3 АРХИТЕКТУРА СИСТЕМЫ ВЕРИФИКАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА НАЛИЧИЕ ДЕСТРУКТИВНЫХ СВОЙСТВ ДЛЯ СРЕД ОБЛАЧНЫХ ВЫЧИСЛЕНИЙ
3.1 Архитектура программного комплекса
3.2 Описание функций, выполняемых модулями программного комплекса.
3.3 Модель работы программного комплекса, реализующего методику верификации программного обеспечения на наличие деструктивных свойств для сред облачных вычислений
3.4 Выводы. .
4 РЕАЛИЗАЦИЯ СИСТЕМЫ ВЕРИФИКАЦИИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ НА НАЛИЧИЕ ДЕСТРУКТИВНЫХ СВОЙСТВ ДЛЯ СРЕД ОБЛАЧНЫХ ВЫЧИСЛЕНИЙ.
4.1 ПРЕИМУЩЕСТВА ПРЕДЛОЖЕННОГО РЕШЕНИЯ, ОТНОСИТЕЛЬНО ИНЫХ СПОСОБОВ ВЫЯВЛЕНИЯ ДЕСТРУКТИВНЫХ СВОЙСТВ ПО К.
4.2 Основные характеристики программной реализации методики
4.3 Результаты внедрения работы
4.3.1 Реализация методики верификации программного обеспечения на наличие деструктивных свойств для сред облачных вычислений в Центре вирусных исследований и аналитики Езе.Я
4.3.2 Внедрение элементов методики при создании системы верификации ПО в компании ООО Связьмонтажкомплектация.
4.3.3 Внедрение элементов методики при оценке рисков в компании ООО ТСС
4.3.4 Разработка лабораторных работ введение в верификацию ПО и Разработка ПО для сред ОВ для курса Языки программирования кафедры Криптология и дискретная математика НИЯУ МИФИ
4.4 Вы ВОДЫ
ЗАКЛЮЧЕНИЕ.
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ