Система субъектов и объектов доступа

Слайд 2

Построить систему команд получения субъектом s прав доступа α на объект

Построить систему команд получения субъектом s прав доступа α на объект

w от субъекта u, при условии того, что команда grants(α, u, s, w) не может быть задействована.
Слайд 3

Задание 1. Построить tg-замыкание для следующего графа доступов q0.

Задание 1. Построить tg-замыкание для следующего графа доступов q0.

Слайд 4

Задание 2. Построить де-юре-замыкание графа доступов из задания 1. Задание 3.

Задание 2. Построить де-юре-замыкание графа доступов из задания 1.
Задание 3. Построить

де-факто-замыкание графа доступов и информационных потоков задания 2.