Введение
Глава 1. Модели построения защищенных систем 6
1.1 Основные понятия 6
1.2 Существующие угрозы защищенности информационных систем 9
1.3 Формальные модели безопасности 10
1.4 Вопросы гарантированное выполнения политики безопасности 20
1.5 Криптография как базовая технология для построения моделей защиты 22
1.6 Выводы к главе 25
Глава 2. Разработка модели защищенной изолированной компьютерной системы под управлением ОС Windows и доказательство ее корректности 27
2.1 Система защиты ОС Windows 27
2.2 Оценка степени защищенности ОС Windows . 36
2.3 Недостатки системы защиты ОС Windows 37
2 4 Усиление штатной системы защиты ОС Windows 38
2.5 Гарантировашюсть выполнения предложенной схемы защиты для изолированного компьютера 42
2.6 Выводы к главе 60
Глава 3. Генерация защищенной изолированной компьютерной системы под управлением ос windows с помощью механизма доверенной загрузки системы 61
3.1 Смысл доверенной загрузки 61
3.2 Штатная заірузка ОС Windows 62
3.3 Схема защиты системы, основанная на доверенной загрузке 65
3.4 Корректность реализации предложенной модели защищенной компьютерной системы 66
3.5 Выводы к главе 74
Глава 4. Разработка модели защищенной информационной системы в рабочей группе и домене Windows 74
4.1 Рассматриваемая система , 74
4.2 Основные компоненты системы защиты 75
4.3 Недостатки штатной системы защиты в рабочей группе 82
4.4 Повышение защищенности рабочей группы 83
4.f Реализация разработанной схемы защиты 85
4.6 Выводы к главе 95
Глава 5. Влияние дополни гельных защитных средств на производительность сис темы 95
Заключение 106
Список использованных источ1іиков 108
Приложение 1. Формат заголовка защищенного диска и протокол обмена сеансовыми ключами 114
