- •2. Системообразующие основы моделирования. Модель действия.
- •3. Системообразующие основы моделирования. Модель объекта.
- •4. Системообразующие основы моделирования. Эффективность применения эвм.
- •5.Анализ и синтез при создании эвм. Концепция синтеза. Структура множества q.
- •Концепция синтеза
- •Модель Системы ↔ Условие замыкания ↔ Модель Действия
- •6. Принцип системности. Задача а.
- •7. Принцип системности. Задача б.
- •8. Принцип системности. Задача в.
- •9. Принцип системности. Задача г.
- •10.Теория подобия при синтезе модели эвм
- •11.Синтез модели и способов её применения, осложненный конфликтной ситуацией.
- •12.Структурная схема взаимодействия трёх базовых подсистем при разрешении конфликта.
- •13. Алгоритм логической последовательности выполнения команд пс в условиях разрушения множества q
- •14. Компенсация разрушения программной системы изменением аппаратной части
- •15. Компенсация разрушения аппаратной части изменением программной системы
- •16. Язык, объекты, субъекты. Основные понятия.
- •17. Язык, объекты, субъекты. Аксиома
- •18. Иерархические модели и модель взаимодействия открытых систем .
- •Модель osi/iso.
- •19. Модель osi/iso.Прикладной уровень (пУ).
- •20. Модель osi/iso.Уровень представления (уп).
- •21. Модель osi/iso.Уровень сеанса (ус).
- •22. Модель osi/iso.Транспортный уровень (ту).
- •23. Модель osi/iso.Сетевой уровень (су).
- •24. Модель osi/iso.Канальный уровень.
- •25. Модель osi/iso.Физический уровень.
- •26. Информационный поток. Основные понятия.
- •27. Информационные потоки в вычислительных системах.
- •28. Ценность информации. Аддитивная модель.
- •29. Ценность информации. Анализ риска.
- •30. Ценность информации. Порядковая шкала ценностей.
- •31. Ценность информации. Модель решетки ценностей.
- •32. Ценность информации. Решетка подмножеств х.
- •33. Ценность информации. Mls решетка
- •64. Угрозы информации
- •65. Угрозы секретности. Утрата контроля над системой защиты; каналы утечки информации.
- •66. Угрозы целостности
- •67. Политика безопасности. Определение политики безопасности
- •68. Дискреционная политика.
- •69. Политика mls.
- •70. Классификация систем защиты. Доказательный подход к системам защиты .
- •71. Классификация систем защиты. Системы гарантированной защиты.
- •72. Классификация систем защиты. Пример гарантированно защищенной системы обработки информации. Записывает во внешнюю память все объекты, которые он хочет сохранить для дальнейших сеансов;
- •74. Два типа оценки: без учета среды, в которой работает техника, в конкретной среде (эта процедура называется аттестованием).
- •75. Политика.Требование 1. Требование 2 - маркировка
- •76. Подотчетность. Требование 3 – идентификация. Требование 4 - подотчетность
- •77. Гарантии. Требование 5 – гарантии. Требование 6 - постоянная защита
- •78. Итоговая информация по классам критериев оценки; идентификация и аутентификация гарантии на правильную работу системы
- •Политика обеспечения безопасности.
- •Идентификация и аутентификация.
- •79. Архитектура системы; целостность системы гарантии на жизненный цикл тестирование функции безопасности. Документация. Выбор класса защиты.
- •4.4. Выбор класса защиты.
- •80. Математические методы анализа политики безопасности. Модель "take-grant"
- •81. Математические методы анализа политики безопасности. Модель Белла - Лападула (б-л).
- •82. Математические методы анализа политики безопасности. Модель Low-water-mark (Lwm).
- •83. Математические методы анализа политики безопасности. Модели j.Goguen, j.Meseguer (g-m).
- •84. Математические методы анализа политики безопасности.Модель выявления нарушения безопасности.
- •85. Синтез и декомпозиция защиты в распределенных системах.
- •86. Анализ компонент распределенной системы.
- •87. Проблема построения гарантированно защищенных баз данных. Иерархический метод построения защиты .
- •9.1. Иерархический метод построения защиты .
- •88. Математические методы анализа политики безопасности. Гарантированно защищенные базы данных.
18. Иерархические модели и модель взаимодействия открытых систем .
Ясно, что реализация автоматизированных информационных систем требует большого программно-аппаратного комплекса, который надо спроектировать, создать, поддерживать в работоспособном состоянии. Сложность этих систем такова, что требуется разработка специальной технологии проектирования и создания таких систем. В настоящее время основным инструментом решения задач анализа, проектирования, создания и поддержки в рабочем состоянии сложных систем является иерархический метод.
В основе метода лежит разбиение системы на ряд уровней, которые связаны однонаправленной функциональной зависимостью. В литературе предлагалось несколько вариантов формального и полуформального описания такой зависимости. Например, Парнас (D.L.Parnas, 1974) описывал такую зависимость следующим образом. Уровень А зависит в правильности своего функционирования от уровня В, или уровень А обращается к уровню В, или уровень А использует уровень В, или А требует присутствия правильной версии В. Однако это неформальные описания, а формализация здесь не удается из-за широкой общности понятия "сложная система" и неоднозначности разбиения на уровни. В целях понимания одного и того же в декомпозициях различной природы сложных систем можно договориться об универсальных принципах описания иерархического метода. Предположим, что интересующая нас сложная система А адекватно описана на языке Я. Предположим, что мы провели декомпозицию (разложение) языка Я на семейство языков D1,D2,...,Dn. Если язык Di, i=2,.., n, синтаксически зависит только от словоформ языка Di-1, то будем говорить, что они образуют два соседних уровня. Тогда система А может быть описана наборами слов B1,...,Bn в языках D1,D2,...,Dn причем так, что описание Вi синтаксически может зависеть только от набора Вi-1. В этом случае будем говорить об иерархической декомпозиции системы A и уровнях декомпозиции B1,...,Bn , где уровень Вi непосредственно зависит от Bi-1. Рассмотрим ряд простейших примеров иерархического построения сложных систем.
Пример 1. Пусть вся информация в системе разбита на два класса Secret и Тор Secret, которые в цифровой форме будем обозначать 0 и 1. Пусть все пользователи разбиты в своих возможностях допуска к информации на два класса, которые также будем обозначать 0 и 1. Правило допуска к информации X при запросе пользователя Y определяется условием, если класс х запрашиваемой информации X, а класс у пользователя Y, то допуск к информации разрешен тогда и только тогда, когда x=y. Это условие можно описать формально формулой некоторого языка D2
if x=y then "Допуск Y к X"
Для вычисления этого выражения необходимо осуществить следующие операции, которые описываются в терминах языка D1:
x:=U1(X),
y:=U2(Y),
z=x y
U(X,Y,z),
где U1(X) - оператор определения по имени объекта X номера класса доступа х; U2(Y) - оператор определения по имени пользователя Y номера класса допуска у; - сложение по mod 2; U(X, Y, z) - оператор, реализующий доступ Y к X, если z=0 , и блокирующий систему, если z=l.
По построению уровень B2 зависит от B1, а вся система представлена иерархической двухуровневой декомпозицией с языками D1 и D2. Причем Я=(D1, D2).
Пример 2. Гораздо чаще используется неформальное иерархическое описание систем. Например, часто используется иерархическая декомпозиция вычислительной системы в виде трех уровней.
Аппаратная часть - Операционная система -Пользовательские программы.
