Методы контроля эквивалентности информационных технологий в системах защиты информации

• Автор: Сизов, Алексей Юрьевич
• Шифр специальности: 05.13.19
• Научная степень: Кандидатская
• Год защиты: 2009
• Место защиты: Москва
• Количество страниц: 116 с. : ил.

СОДЕРЖАНИЕ
Сокращения.
Введение.

1 Защита информации и информационные процессы.

1.1 Защита информации в настоящее время пути и тенденции

развития1.

1.2 Информационная технология как самостоятельный

сегмент защиты информации.

2 Исследование задач установление эквивалентности в различных направлениях теоретической математики

2.1 Общие вопросы установления эквивалентности

2.1.1 Теория множеств

2.1.2 Теория графов
2.1.3 Линейная алгебра.
2.1.4 Теория автоматов и сложность алгоритмов
2.2 Эквивалентность в теории программирования.
2.3 Эквивалентность в теории многоленточных автоматов
3 Задача установления эквивалентность информационных технологий.
3.1 Модель информационной технологии
3.2 Алгоритма установления эквивалентности
информационных технологий.
3.3 Классы с разрешимой задачей установления
эквивалентности информационных технологии.
3.4 Оценка сложность алгоритма установления
эквивалентности.
4 Модель обеспечения защищенности информационных
технологий методом контроля эквивалентности.
4.1 Актуальные задачи анализа эквивалентностей.
4.2 Сравнение существующих программноаппаратных
средств криптографической защиты информации
4.3 Модель защиты
4.4 Некоторые аспекты практической реализации.
Заключение.
Список литературы


Примером может служить идеология функционально-замкнутой среды, применяемая в банковской сфере. В свою очередь информационная система, производящая обработку информационных потоков из различных источников, обязана удовлетворять требованиям к реализации всех информационных технологий, соответствующих используемым потокам. Таким образом, увеличение количества источников информации пропорционально увеличению вычислительных средств системы, а структура любой развивающейся информационной системы будет расти до включения в ее состав всех возможных средств, реализующих использование информационных технологий. Материальные затраты на создание такой системы являются максимальными с позиции необходимости закупки, внедрения и обслуживания новых вычислительных средств. С другой стороны, в ряде случаев существует возможность адаптации уже используемых решений для внедрения вычислительных средств информационной системы, реализующих новую технологию. При этом должна соблюдаться идентичность вычислительных задач и соответствие оценок защищенности каждого элемента, т. Возможность и сложность такого перехода характеризует степень гибкости информационной технологии в рамках информационной системы. При этом затратами на организацию такой системы будут в основном затраты по анализу допустимости осуществления такого эквивалентного перехода. Таким образом, формируется противоречие между необходимым развитием функциональности информационной системы и обеспечением рациональных затратна развитие. Рассмотрение различных аспектов анализа эквивалентных преобразований в областях естественных наук и, прежде всего, в математике берет свое начало в трудах К. Геделя, А. Тьюринга, A. A. Маркова, Э. Поста, А. Рассмотрение практических подходов к решению проблем установления эквивалентности математических объектов производится в работах Колмогорова A. H., Самарского A. A., Глушкова В. М., Плоткина Б. И., Сперанского Д. Анализ математических аспектов программных систем, таких как схемы программ или многоленточных автоматов, проводится в работах Р. И. Подловченко, В. А. Захарова, В. Е. Хачатряна, С. Г1. Расторгуева. Понятие информационной технологии как самостоятельного объекта в области защиты информации раскрывается в работах В. А. Конявского, В. А. Гадасина. Работы этих ученых создали базу для проведения исследований в вопросах анализа эквивалентных структур, однако ряд вопросов по-прежнему 'гребует исследования. Наиболее рациональным подходом представляется перенесение результатов работ общей направленности и работ по анализу программных систем на модель информационных технологий. Также необходимо сформировать принципы, позволяющие рассматривать связь между информационным объектом и множеством технологий, допустимых для его формирования и обработки, и осуществлять оценку защищенности информационной технологии такого объекта исходя из общих критериев информационной безопасности. Устранение выявленных выше противоречий может быть достигнуто развитием или усовершенствованием методов и подходов, позволяющих осуществлять математическое обоснование защищенности этапов формирования и обработки информации при применении различных информационных технологий. Цель исследования. Разработка методов контроля эквивалентности информационных технологий в системах защиты информации методом математического моделирования. Разработать и исследовать математическую модель, описывающую применение информационной технологии для формирования информационного объекта. Выделить классы информационных технологий с разрешимой задачей установления эквивалентности. Разработать общую модель анализа защищенности информационной системы на основе анализа эквивалентности информационных технологий. Объект исследования информационная технология создания и обработки информационных объектов на примере предприятий банковского сектора. Предмет исследования — методы установления эквивалентности информационных технологий. Научная новизна связана с применением процессного подхода, который позволяет обеспечить установление эквивалентности информационных технологий в моделях защиты информации.