Ви є тут

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

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

Вміст

СОДЕРЖАНИЕ
ВВЕДЕНИЕ
ГЛАВА 1. МОДЕЛИ ПОСТРОЕНИЯ ЗАЩИЩЕННЫХ СИС1ЕМ
1.1 Основные понятия.
1.2 Существующие угрозы защищенности информационных систем.
1.3 Формальные модели безопасности .
1.4 Вопросы гарантированности выполнения политики безопасности
1.5 Криптография как базовая технология для построения моделей защиты
1.6 Выводы к главе
ГЛАВА 2. РАЗРАБОТКА МОДЕЛИ ЗАЩИЩЕННОЙ ИЗОЛИРОВАННОЙ
КОМПЬЮТЕРНОЙ СИСТЕМЫ ПОД УПРАВЛЕНИЕМ ОС VI И
ДОКАЗАТЕЛЬСТВО ЕЕ КОРРЕКТНОСТИ.
2.1 Система защиты ОС Viiv
2.2 Оценка степени защищенности ОС ivv
2.3 Недостатки системы защиты ОС Vi.
2 4 Усиление штатной системы защиты ОС i.
2.5 Гарантированность выполнения предложенной схемы защиты для
изолированного компьютера
2.6 Выводы к главе
Глава 3. ГЕНЕРАЦИЯ ЗАЩИЩЕННОЙ ИЗОЛИРОВАННОЙ КОМПЬЮТЕРНОЙ
СИСТЕМЫ ПОД УПРАВЛЕНИЕМ ОС V10 С ПОМОЩЬЮ МЕХАНИЗМА
ДОВЕРЕННОЙ ЗАГРУЗКИ СИСТЕМЫ
3.1 Смысл доверенной загрузки.
3.2 Штатная загрузка ОС Vi
3.3 Схема защиты системы, основанная на доверенной загрузке.
3.4 Корректность реализации предложенной модели защищенной компьютерной
системы
3.5 Выводы к главе
ГЛАВА 4. РАЗРАБОI КА МОДЕЛИ ЗАЩИЩЕННОЙ ИНФОРМАЦИОННОЙ СИСТЕМЫ
В РАБОЧЕЙ ГРУППЕ И ДОМЕНЕ иЧЫООУ8.
4.1 Рассматриваемая система.
4.2 Основные компоненты системы защиты
4.3 Недостатки штатной системы защиты в рабочей группе
4.4 Повышение защищенности рабочей группы.
4.5 Реализация разработанной схемы защиты.
4.6 Выводы к главе
ГЛАВА 5. ВЛИЯНИЕ ДОПОЛНИ ГЕЛЬНЫХ ЗАЩИТНЫХ СРЕДСТВ НА
РОИЗВОДИТЕЛЬНОСТЬ СИС ТЕМЫ.
ЗАКЛЮЧЕНИЕ.
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ