мухин книга пятница

ОГЛАВЛЕНИЕ

ПРЕДИСЛОВИЕ .........................................................................................

3

ГЛАВА 1. ВВЕДЕНИЕ В ТЕОРИЮ ОБЕСПЕЧЕНИЯ

БЕЗОПАСНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ......................

5

1.1. ЗАЧЕМ И ОТ КОГО НУЖНО ЗАЩИЩАТЬ ПРОГРАММНОЕ

ОБЕСПЕЧЕНИЕ КОМПЬЮТЕРНЫХ СИСТЕМ..............................................

5

1.2. УГРОЗЫ БЕЗОПАСНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

И ПРИМЕРЫ ИХ РЕАЛИЗАЦИИ В СОВРЕМЕННОМ

КОМПЬЮТЕРНОМ МИРЕ..........................................................................

7

1.3. БАЗОВЫЕ НАУЧНЫЕ ДИСЦИПЛИНЫ, ПРИНЯТАЯ

АКСИОМАТИКА И ТЕРМИНОЛОГИЯ ......................................................

13

1.4. ЖИЗНЕННЫЙ ЦИКЛ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

КОМПЬЮТЕРНЫХ СИСТЕМ. ТЕХНОЛОГИЧЕСКАЯ И

ЭКСПЛУАТАЦИОННАЯ БЕЗОПАСНОСТЬ ПРОГРАММ .............................

18

1.5. МОДЕЛЬ УГРОЗ И ПРИНЦИПЫ ОБЕСПЕЧЕНИЯ

БЕЗОПАСНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ................................

20

ГЛАВА 2. ОБЕСПЕЧЕНИЕ ТЕХНОЛОГИЧЕСКОЙ

БЕЗОПАСНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ....................

34

2.1. ФОРМАЛЬНЫЕ МЕТОДЫ ДОКАЗАТЕЛЬСТВА

ПРАВИЛЬНОСТИ ПРОГРАММ И ИХ СПЕЦИФИКАЦИЙ.............................

34

2.2. МЕТОДЫ И СРЕДСТВА АНАЛИЗА БЕЗОПАСНОСТИ

ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ...........................................................

41

2.3. МЕТОДЫ ОБЕСПЕЧЕНИЯ НАДЕЖНОСТИ ПРОГРАММ

ДЛЯ КОНТРОЛЯ ИХ ТЕХНОЛОГИЧЕСКОЙ БЕЗОПАСНОСТИ.....................

48

2.4. МЕТОДЫ СОЗДАНИЯ АЛГОРИТМИЧЕСКИ БЕЗОПАСНЫХ

ПРОЦЕДУР............................................................................................

52

2.5. ПОДХОДЫ К ЗАЩИТЕ РАЗРАБАТЫВАЕМЫХ ПРОГРАММ

ОТ АВТОМАТИЧЕСКОЙ ГЕНЕРАЦИИ ИНСТРУМЕНТАЛЬНЫМИ

СРЕДСТВАМИ ПРОГРАММНЫХ ЗАКЛАДОК..........................................

119

2.6. МЕТОДЫ ИДЕНТИФИКАЦИИ ПРОГРАММ И

ИХ ХАРАКТЕРИСТИК ..........................................................................

121

ГЛАВА 3. ОБЕСПЕЧЕНИЕ ЭКСПЛУАТАЦИОННОЙ

БЕЗОПАСНОСТИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ..................

129

3.1. МЕТОДЫ И СРЕДСТВА ЗАЩИТЫ ПРОГРАММ

ОТ КОМПЬЮТЕРНЫХ ВИРУСОВ...........................................................

129

3.2. МЕТОДЫ ЗАЩИТЫ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

ОТ ВНЕДРЕНИЯ НА ЭТАПЕ ЕГО ЭКСПЛУАТАЦИИ И

СОПРОВОЖДЕНИЯ ПРОГРАММНЫХ ЗАКЛАДОК ..................................

139

3.3. МЕТОДЫ И СРЕДСТВА ОБЕСПЕЧЕНИЯ ЦЕЛОСТНОСТИ

И ДОСТОВЕРНОСТИ ИСПОЛЬЗУЕМОГО ПРОГРАММНОГО КОДА...........

143

211

3.4. ОСНОВНЫЕ ПОДХОДЫ К ЗАЩИТЕ ПРОГРАММ ОТ

НЕСАНКЦИОНИРОВАННОГО КОПИРОВАНИЯ ......................................

166

ГЛАВА 4. ПРАВОВАЯ И ОРГАНИЗАЦИОННАЯ

ПОДДЕРЖКА ПРОЦЕССОВ РАЗРАБОТКИ И

ПРИМЕНЕНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ.

ЧЕЛОВЕЧЕСКИЙ ФАКТОР..................................................................

172

4.1. СТАНДАРТЫ И ДРУГИЕ НОРМАТИВНЫЕ ДОКУМЕНТЫ,

РЕГЛАМЕНТИРУЮЩИЕ ЗАЩИЩЕННОСТЬ ПРОГРАММНОГО

ОБЕСПЕЧЕНИЯ И ОБРАБАТЫВАЕМОЙ ИНФОРМАЦИИ .........................

172

4.2. СЕРТИФИКАЦИОННЫЕ ИСПЫТАНИЯ

ПРОГРАММНЫХ СРЕДСТВ...................................................................

183

4.3. БЕЗОПАСНОСТЬ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

И ЧЕЛОВЕЧЕСКИЙ ФАКТОР. ПСИХОЛОГИЯ

ПРОГРАММИРОВАНИЯ........................................................................

185

ЗАКЛЮЧЕНИЕ.......................................................................................

196

ЛИТЕРАТУРА.........................................................................................

197

ПРИЛОЖЕНИЯ.......................................................................................

202

ПРИЛОЖЕНИЕ 1. ПЕРЕЧЕНЬ ТИПОВЫХ ДЕФЕКТОВ

РАЗРАБОТКИ, ВЛИЯЮЩИХ НА БЕЗОПАСНОСТЬ ПО, И

ПРОГРАММНЫХ ЗАКЛАДОК, ЗАМАСКИРОВАННЫХ ПОД

ДЕФЕКТЫ РАЗРАБОТКИ.......................................................................

202

ПРИЛОЖЕНИЕ 2. ХАРАКТЕРИСТИКИ ПРОГРАММ С ТОЧКИ

ЗРЕНИЯ ВЛИЯНИЯ НА ИХ ЗАЩИЩЕННОСТЬ И

РЕЗУЛЬТАТЫ РАБОТЫ.........................................................................

205

ПРИЛОЖЕНИЕ 3. ПЕРЕЧЕНЬ МЕЖДУНАРОДНЫХ

НОРМАТИВНЫХ ДОКУМЕНТОВ, СВЯЗАННЫХ С

ПРОБЛЕМАТИКОЙ ОБЕСПЕЧЕНИЯ БЕЗОПАСНОСТИ

ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ.........................................................

206