Введение
ГЛАВА 1 Анализ особенностей функционирования и требования к обеспечению безопасности информационных систем критического применения 17
1.1 Понятие информационных систем критического применения 17
1.2 Системный подход к обеспечению безопасности информации на защищаемых объектах 27
1.3 Модели угроз безопасности информации и противодействующая им техника защиты, которая может использовать ресурсы логико-вычислительных подсистем 36
1.4 Направления совершенствования подсистем защиты информации информационных систем критического применения 43
Выводы по главе 50
ГЛАВА 2 Анализ возможностей использования ресурсов логико вычислительных подсистем информационных систем критического применения в интересах защиты информации 51
2.1 Формальная модель обеспечения требований к информационным системам критического применения 51
2.2 Состав логико-вычислительной подсистемы информационных систем критического применения 57
2.3 Способы повышения производительности вычислений на ЭВМ 66
2.4 Анализ способов и форм представления логических функций и их систем 75
2.5 Пути повышения эффективности логико-вычислительных подсистем защиты информации информационных систем критического применения 91
Выводы по главе 99
ГЛАВА 3 Разработка и обоснование эффективных методов логических вычислений 100
3.1 Высокопроизводительный вычислительный метод получения значений термов в полиномиальных формах представления логических функций 100
3.2 Разработка и обоснование методов вычисления значений логических функций на нескольких наборах аргументов с параллельным вычислением термов 112
3.3 Вычислительный метод параллельного получения значений нескольких термов в полиномиальных формах представления логических функций 121
3.4 Развитие вычислительных методов получения арифметических полиномиальных форм представления логических функций 127
Выводы по главе 140
ГЛАВА 4 Алгоритмы для высокопроизводительной программной реализации типовых логических функций средств обеспечения конфиденциальности 142
4.1 Типовые операции и устройства программно-аппаратных средств обеспечения конфиденциальности информации 142
4.2 Алгоритм параллельных матричных вычислений значений псевдослучайной последовательности, вырабатываемой линейным рекуррентным регистром сдвига 148
4.3 Повышение производительности выполнения логических вычислений типовыми устройствами средств обеспечения конфиденциальности информации.. 159
4.4 Моделирование способов распараллеливания алгоритмов защиты информации в системах с массивно-параллельными сопроцессорами 174
4.5 Комплекс программ оценки эффективности функционирования элементов логико-вычислительных подсистем информационных систем
критического применения 179
Выводы по главе 190
ГЛАВА 5 Технические решения по совершенствованию аппаратных средств защиты информации, использующие линейные рекуррентные регистры, модели и численные методы оценки их эффективности 192
5.1 Высокопроизводительная схемотехническая реализация рекуррентного регистра сдвига 192
5.2 Высокопроизводительная схемотехническая реализация генераторов усложненной псевдослучайной последовательности 199
5.3 Аппаратная реализация линейного рекуррентного регистра сдвига с реализацией функции обратной связи на арифметических сумматорах 212
5.4 Функциональное моделирование и синтез высокопроизводительных аппаратных средств обеспечения конфиденциальности информации 216
Выводы по главе 222
ГЛАВА 6 Моделирование и синтез технических средств и систем защиты информации 224
6.1 Алгоритмы высокопроизводительной реализации средств обеспечения целостности информации 224
6.2 Реализация дискреционной модели разграничения доступа полиномиальными арифметическими формами 242
6.3 Алгоритмы высокопроизводительной реализации технических средств обеспечения конфиденциальности 246
6.4 Алгоритмы реализации средств оценки эффективности защиты информации на основе автоматных моделей в информационных системах
критического применения 255
Выводы по главе 263
Заключение 264
Список сокращений и условных обозначений 268
Список литературы
