Ви є тут

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

Автор: 
Терешкин Александр Васильевич
Тип роботи: 
диссертация кандидата технических наук
Рік: 
2007
Артикул:
568321
179 грн
Додати в кошик

Вміст

Введение
Глава 1. Обзор средств защиты от удаленной эксплуатации уязвимостей
1.1. Системы, внедряемые во время компиляции.
1.2. Системы, внедряемые на этапе компоновки программы
1.3. Рандомизация расположения адресного пространства
1.4. Иные проекты.
1.5. Технологии защиты от эксплуатации ошибок в i.
1.5.1. Защита стека
1.5.2. Защита кучи.
1.5.3. Безопасность
1.5.4. Рандомизация РЕВ
1.5.5. Определение относительного виртуального адреса I функции
1.5.6. Переписывание критичных указателей
1.5.7. Запуск шелкода в РЕВ
1.5.8. Безопасность указателей.
1.5.9. X память и аппаратный
1.6. Выводы.
Глава 2. Теоретическое обоснование возможности диверсификации ПО
2.1. Формальное определение нефункционального преобразования
2.1.1. Базовые определения.
2.1.2. Эквивалентность программ
2.1.3. Нефункциональные преобразования.
2.1.4. Свойства НФП
2.2. Оценки НФП.
2.2.1. Мощность НФП
2.2.2. Устойчивость преобразования.
2.2.3 Цена преобразования
2.2.4 Главная мера.
2.3. Реализация нефункциональных преобразований на процессорах х
2.3.1. Замена регистров уровень 1
2.3.2. Перестановка множеств инструкций местами уровень 2
2.3.3. Процедурный подход уровень 3
2.3.4. Изменение прототипа функций уровень 4.
2.3.5. Выделение случайных подфункций уровень 5
2.4. Выводы.
Глава 3. Разработка метода диверсификации программного обеспечения
3.1. Общая архитектура генератора кода
3.2. Язык .
3.3. Используемость переменных
3.4. Определение каркаса функции
3.5. Внедрение мусорного кода.
3.6. Генерация кода.
3.7. Сборка кода
3.8. Выводы.
Глава 4. Разработка алгоритмов декомпиляции и рекомпиляции исполнимого кода
4.1. Декомпиляция
4.1.1. Этапы декомпиляции
4.1.2. Анализ структуры РЕ.
4.1.3. Предварительный анализ кода
4.1.4. Дизассемблирование.
4.1.5. Построение связного списка блоков.
4.2. Рекомпиляция
4.2.1. Пересчет относительных виртуальных и физических адресов.
4.2.2. Пересчет таблицы элементов релокации
4.2.3. Перелинковка указателей.
4.2.4. Ассемблирование результатов в файл
4.3. Выводы
Глава 5. Экспериментальное исследование алгоритмов диверсифицирующих преобразований.
5.1. Измерение характеристик программ, оценка НФП
5.2. Выводы
Заключение.
Список использованных источников