Заключение. 
Анализ основных моделей контроля и управления доступом

Основной задачей работы были анализ и моделирование правил ПБ современных ИС, с целью постановки задачи автоматизированной проверки выполнения правил ПБ.

В работе получены следующие основные результаты:

• 1. Рассмотрены основные методы моделирования контроля и управления доступом и политик безопасности.
• 2. Рассмотрен подход к проверке выполнения правил политик безопасности путем логического моделирования и вычисления предикатов.
• 3. Исследованы концептуальные модели подсистем контроля и управления доступом современных операционных систем.

В дипломной работе была рассмотрена первая фаза автоматизированной диагностики, т. е. моделирование начального состояния, требований модели КУД и ограничений. Рассмотренный подход позволил поставить задачу автоматизированного анализа выполнения правил ПБ. Для этого необходим инструментарий для генерации и проверки достижимых состояний.

СПИСОК ЛИТЕРАТУРЫ

1) Информационная безопасность. Концептуальные и методологические основы защиты информации. Учебное пособие Горячая Линия — Телеком * 2004.

2) Windows 98/МЕ/2000/ХР:Книга + видеокурс (CD).

Авторы: Комягин В. Б., ред.

Издательство: Лучшие книги Г од выпуска: 2005.

• 3) Linux. Справочник, К. Рейчард, П. Фолькердинг http://www.megalib.com/books/756/index.htm
• 4) Р. Петерсен, " LINUX: Руководство по операционной системе" , Пер. с англ. С. М. Тимачева, под ред. М. В. Коломыцева. Киев, BHV, 1997,
• 5) Модели безопасности компьютерных систем. Учебное пособие для вузов. Девянин П. Н. Academia * 2005