Command create (s,o)

End.

Then

Command grant_read (p,q,f)

End.

Create subject q,

Command exec_process (p,q)

End.

Create object f,

enter own into M[p,f], //добавляем право владения

enter r into M[p,f],

enter w into M[p,f],

1. Создание процесса. Процесс p создаёт процесс q и получает на него право чтения, записи и владения, передавая процессу q права чтения и записи по отношению к самому себе.

enter own into M[p,q],

enter r into M[p,q],

enter w into M[p,q],

enter r into M[q,p],

enter w into M[q,p],

1. Передача права чтения по отношению к файлу. Право чтения на файл f передаётся владельцем p субъекту q.

if own in M[p,f]

enter r into M[q,f]

Формальное описание системы в модели Х-Р-У выглядит следующим образом:

Система описывается кортежем (упорядоченным множеством) Σ=(Q, R, C) и состоит из следующих элементов:

• R={,…,} – конечный набор прав доступа;
• ={,…,} – конечный набор исходных субъектов;
• ={,…,} – конечное множество исходных объектов;
• – исходная матрица доступа;
• С – конечный набор команд: С={(,, …,)}.

Поведение системы во времени рассматривается как последовательность состояний. Каждое последующее состояние является результатом применения некоторой команды к предыдущему состоянию: =()

Для заданной системы начальное состояние ={,,} является безопасным относительно некоторого права r, если не существует применимой к последовательности команд, в результате выполнения которой право r будет занесено в ячейку матрицы М, в которой оно отсутствовало в состоянии. Другими словами это означает, что субъект никогда не получит право доступа r к объекту, если он не имел его изначально. Если же право r оказалось в ячейке матрицы М, в которой оно изначально отсутствовало, то говорят, что произошла утечка права r.

Рассмотрим пример:

Пусть система допускает использование двух прав доступа: R={r,w},

где r – чтение, w – запись

и система описывается следующими командами:

1) создание субъекта:

Дата добавления: 2013-12-12