Программно-аппаратная защита (Лекция №2)

Алгоритмическая разрешимость
Проблема распознавания выводимости
Алгоритмическая неразрешимость некоторого класса задач:
Решение уравнения в радикалах и др
Уточнить понятие алгоритма, Тьюринг 1937 г

Машина Тьюринга

Машина Тьюринга
- В каждой ячейке хранится не более одного знака
Каждое сведение, хранящееся на ленте, изображается конечным набором знаков внешнего алфавита,
К началу работы машины на ленту подается начальное сведение
В качестве начальной информации на ленту можно подать любое слово в этом алфавите

Машина Тьюринга

Машина Тьюринга

Машина Тьюринга

Машина Тьюринга

Машина Тьюринга

Машина Тьюринга

Машина Тьюринга
k-й конфигурация – изображение ленты машины с информацией, сложившейся на ней к началу k-го такта.

Машина Тьюринга

Машина Тьюринга

Машина Тьюринга

Термины

Термины

Классы моделей политики безопасности
Дискреционной (избирательная)
Классы моделей
политики безопасности
модель Харрисона–Рузо–Ульмана
Мандатная
Управление доступом основанное на ролях

Модель Харрисона–Рузо–Ульмана

Модель Харрисона–Рузо–Ульмана
Функционирование системы рассматривается с точки зрения
изменений в матрице доступа. Модель определяет 6 примитивных
операций: «создать»/«уничтожить» объект и субъект, «вне-
сти»/«удалить» право доступа субъекта к объекту. Их описание при-
ведено в табл.

Модель Харрисона–Рузо–Ульмана

Модель Харрисона–Рузо–Ульмана

Модель Харрисона–Рузо–Ульмана

Модель Харрисона–Рузо–Ульмана
Общая модель Харрисона– Рузо–Ульмана может выражать большое разнообразие политик дис креционного доступа, но при этом не существует общего алгоритма проверки их безопасности.
- Для монооперационных систем алгоритм проверки безопасности существует, но данный класс является узким

Мандатная политика безопасности

Модель Белла–ЛаПадула

Модель Белла–ЛаПадула

Модель Белла–ЛаПадула

Модель Белла–ЛаПадула

Модель Белла–ЛаПадула

Модель Белла–ЛаПадула

Недостатки модели Белла–ЛаПадула

Недостатки модели Белла–ЛаПадула

Ролевая модель

Ролевая модель

Ролевая модель

Ролевая модель

Ролевая модель

Литература
Нестеров С.А. Основы информационной безопасности, Санкт-Петербург, 2014 г.
Девянин П.Н. Модели безопасности компьютерных систем. – М.: Издательский центр «Академия», 2005.
Трахтенброт Б.А. Алгоритмы и машинное решение задач. – М.: 1957
https://habr.com/ru/company/solarsecurity/blog/509998/. Строим ролевую модель управления доступом. Часть первая, подготовительная