Введение
1. Теоретические и методологические основы информационной безопасности компьютерных систем общего назначения 10
1.1. Методы и технологии защиты компьютерных систем 10
1.2. Формализация модели компьютерных систем общего назначения и постановка задачи исследования 27
1.3. Выводы главы 1 38
2. Разработка теоретической модели защищенной компьютерной системы 41
2.1. Построение формального критерия защищенности компьютерной системы 41
2.2. Функционально-параметрическое определение адекватной модели защищенной компьютерной системы общего назначения на основе формального критерия оценки защищенности 47
2.3. Модель целостности компьютерной системы 56
2.4. Модель конфиденциальности ресурсов компьютерной системы 69
2.5. Методические аспекты преобразования компьютерной системы к защищенной модели 80
2.6. Выводы главы 2 84
3. Практические подходы реализации модели защищенной компьютерной системы 86
3.1. Оценка методов реализации на основе инфраструктуры операционных систем общего назначения 86
3.2. Реализация разработанной модели на базе операционной системы Windows NT 95
3.2.1. Модуль перехвата действий 98
3.2.2. Модуль атрибутов объектов и субъектов 105
3.2.3. Оценка соответствия реализации защищенной модели приоритетным требованиям 114
3.3. Выводы главы 3 121
Заключение 122
Литература 125
Приложения 134
