28 Сравнительный анализ математических моделей обеспечения безопасности в АСУ | MetodPro.ru

Реклама на сайте

28 Сравнительный анализ математических моделей обеспечения безопасности в АСУ


Выделяют 4 класса формальных моделей обеспечения безопасности:
1 Модели трансформаций основаны на описании с-мы в виде конечного автомата. Выд-ся:
– мн-во входных состояний
– мн-во выходных состояний. Наибольшее применение получила модель Белла-Лапа дуллы.
2 модели заимствования и передачи полномочий- формируются в понятиях теории графов.
3 Семантические модели используют понятие теории множеств и теории предикатов и определяют правила разграничения доступа к ресурсам системы в виде утвеждении, которые могут изменятся в процессе выполнения операций модели с помощью спец. системы.
4 Модели информационных потоков основываются на предложенной Фентоном решетки безопасности и определяют порядок взаимодействия объектов системы в терминах переноса инфы.
 
Необходимо учитывать, что модели имеют область применимости, то есть среду реализации описываемых механизмов защиты.
a.    Отдельная ЭВМ
b.    Сеть передачи данных
c.    Выч. Система
d.    Информационная выч. Система



Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем