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

Содержание
Введение . о
Глава 1. Задача выявления НДВ.
1.1. Методы статического анализа.
1.1.1. Поиск потенциально опасных конструкций
1.1.2. Проверка формальных моделей
1.1.3. Абстрактная интерпретация
1.1.4. Анализ потоков данных
1.2. Методы динамического анализа
1.2.1. Контроль поведения.
1.2.2. Инструментальное оснащение.
1.3. Гибридные методы .
1.4. Методы анализа исполняемого кода
1.4.1. Дизассемблирование.
1.4.2. Существующие внутренние представления
1.4.3. Особенности некоторых архитектур.
1.5. Инструментарий
1.6. Системы анализа исполняемого кода.
1.6.1. Интерактивный дизассемблер I.
1.6.2. Статический анализатор x
1.6.3. Платформа динамического анализа Vi.
1.6.4. Платформа для комплексного анализа i
1.6.5. Анализатор времени выполнения .
1.6.6. Прочие системы анализа исполняемого кода.
1.7. Выводы
Глава 2. Система выявления ГТДВ.
2.1. Модель нарушителя.
2.2. Требования к системе
2.3. Компоненты системы
2.3.1. Дизассемблер.
2.3.2. Анализатор потоков данных.
2.3.3. Интерфейс к системам компьютерной алгебры.
2.3.4. Статический анализатор
2.3.5. Модуль выявлении НДВК
2.4. Выводы.
Глава 3. Элементы системы выявления НДВ.
3.1. Язык описания архитектур процессоров
3.1.1. Внутреннее представление
3.1.2. Структура описания
3.1.3. Адресные пространства
3.1.4. Выражения.
3.1.5. Правила.
3.1.6. Типы
3.1.7. Прочее
3.1.8. Компиляция
3.1.9. Применение правил.
3.2. Граф потока управления.
3.3. Моделирование вводавывода.
3.3.1. Компоненты модели вводавывода
3.3.2. Язык описания модели вводавывода.
3.3.3. Анализ модели вводавывода
3.4. Численные домены
3.4.1. Абстрактные значения
3.4.2. Абстрактные суммы.
3.4.3. Мультисуммы.
3.4.4. Выровненные адреса
3.4.5. Битовые поля
3.5. Анализатор потоков данных.
3.6. Домен простых состояний .
3.6.1. Состояния участков памяти
3.6.2. Состояния программы
3.7. Домен символьных состояний
3.8. Символьный анализ циклов
3.9. Проверка политики обработки информации .
3 Выводы
Глава 4. Применение системы выявления НДВ.
4.1. Работа с системой выявления НДВ.
4.2. Тестовые испытания
4.3. Внедрение ООО ИБМ Восточная ЕвроиаАзия
4.4. Внедрение Кафедра НИЯУ МИФИ
Заключение.
Список литературы