Проектирование компонентов доверенной среды реляционной СУБД на основе CASE-технологий

• Автор: Бойченко, Игорь Алексеевич
• Шифр специальности: 05.13.12
• Научная степень: Кандидатская
• Год защиты: 2001
• Место защиты: Воронеж
• Количество страниц: 136 с. : ил

1. Формирование доверенной вычислительной среды в автоматизированных информационных системах

1.1. Аналитический обзор средств информационной безопасности АС

1.2. Организация защиты информации в коммерческих СУБД

1.3. Требования отечественных стандартов к защищенным СУБД

1.4. Постановка задач исследования

Выводы первой главы

2. Модели компонентов доверенной среды, определяющие специфику

САБЕсрсдств их проектирования и поддержки функционирования

2.1. Модели сущностей системы

2.2. Требования к проектированию сущностей системы

2.3. редставление сущностей системы

2.4. Динамическая аутентификация пользователей
Выводы второй главы
3. Обоснование выбора САБЕсредств проек тирования и поддержки
функционирования компонентов доверенной среды
3.1. Моделирование требований к ТСВкомпонентам
САБЕсредства поддержки технологического маршрута проекта
рования ТСВкомионентов
3.3. САБЕсредства поддержки функционирования доверенной среды
ВIводы третьей главы
Разработка САБЕсредств проектирования и поддержки функцио
нироваппя ТСВкомпонентов СУБД Линтер
4.1. Интегрированная среда разработки ТСВкомпонентов
4.2. Инструментальные средства системной сертификации сущностей
4.3. САБЕсредства оперативного мониторинга доверенной среды
Выводы четвертой главы
Основные результаты работы
Библиографический список
ВВЕДЕНИЕ


Развитие средств бизиеслогики в СУБД поддерживается средствами САБЕтсхнологии, являющейся подсистемой развития СУБД. Получает свое развитие тенденция пострения трехуровневых информационных систем клиент сервер средства бизнеслогики. По мере развития информационных систем на место средств бизнеслогики приходят полномасштабные приложения пользователя, функционирующие в информационной среде СУБД. Средства САБЕтехнологии поддерживают оперативное создание, отладку и эксплуатационное сопровождение хранимых процедур и полномасштабных приложений пользователя . Одной из основных характеристик АС таких является уровень защищенности обрабатываемой информации, определяемый действующей политикой безопасности . В настоящее время также акцентируется внимание на проблеме компьютерных вирусов . Компьютерные вирусы представляют угрозу безопасности практически всех компьютерных систем и при этом формально нс укладываются в рамки традиционных моделей реализуемых политик безопасности. В настоящее время проблематика компьютерных вирусов выделилась в самостоятельный класс так называемых разрушающих программных воздействий информационного оружия . До определенною времени условия гарантий политики безопасности формулировались в виде стандартов без доказательства. Именно такой подход применили американские специалисты по компьютерной безопасности, создав стандарты так называемой радужной серии. На определенном этапе развития информационных систем возникает необходимость в осуществлении мероприятий информационной безопасности как в отношении информации, хранимой и обрабатываемой в системе, так и в отношении программных компонентов, реализующих функциональность системы, в том числе и сс информационную безопасность. Понятие безопасности информационных систем декларируется рядом стандартов и руководящих документов разных стран. Основополагающим документом в этой области является Критерии безопасности компьютерных систем так называемая Оранжевая книга, разработанная Министерством обороны США . ТСВ и другие. Интерпретация этих требований в части систем управления базами данных произведена в гак называемой Розовой книге . Дальнейшее развитие проблемы информационной безопасности получили в документе Федеральные критерии безопасности информационных технологий Национального института стандартов и технологий США и Агенства национальной безопасности США . Европейские страны в вопросах информационной безопасности руководствуются документом Критерии безопасности информационных технологий Ii i vi ii, известном как Европейские критерии. Известны Канадские критерии безопасности компьютерных систем или просто Канадские критерии . Указанные документы были положены в основу созданных позже Единых критериев безопасности информационных технологий, известных как Единые критерии, которые являются результатом совместной деятельности авторов Европейских критериев, Федеральных критериев и Канадских критериев . Версия 2. Международной организацией по стандартизации I в году в качестве международного стандарта информационной безопасности II 8. Стандарт фиксирует накопленный к определенному времени опыт разработок и применения сформулированных рекомендаций и не препятствует дальнейшим работам в развитии любого направления. В настоящее время для оценки действующей политики безопасности используются формальные модели отдельных направлений защиты информации. В формальных моделях сущности автоматизированной системы представляются в виде субъектов и объектов. К таким моделям относятся модель , модель , модель БеллаЛападула , , , модель ролевой политики безопасности, модель политик доменов и типов и др. В данных моделях исследуются вопросы взаимодействия сущностей системы с заданными свойствами. Как правило, та или иная модель безопасности исходит из априорной технологии работы с объектами, которая может быть формализована и обоснована. При практической реализации моделей в АС встает вопрос о гарантиях выполнения их свойств. В связи с этим в зарубежной литературе формулируется понятие доверенной достоверной вычислительной среды в английской транскрипции ТСВ i , гарантирующей свойства системы.