Command create_file (p,f)

S'=S,

S'=S,

O'=O,

S'=S,

O'=O,

S'=S,

End

Then

,

,

…

Здесь a – имя команды;

– параметры команды, представляющие собой идентификаторы субъектов и объектов;

– элементарные операции.

Элементарные операции, …, будут выполнены в том случае, если выполняются все без исключения условия из блока if … then.

При описании элементарных операций будем полагать, что в результате выполнения операции система переходит из состояния

Q=(S, O, M) в Q'=(S', O', M').

Модель предусматривает наличие 6 элементарных операций:

1) enter r into M[s, o]; (s S, o O)

Добавление субъекту s права r по отношению к объекту o. В результате выполнения команды происходят следующие изменения в состоянии системы:

M'[,]=M[,], если (,)≠(s, o)

M'[s, o]={r}M[s, o].

Содержимое ячейки таблицы рассматривается как множество. Это в частности означает, что если добавляемый элемент уже присутствует в ячейке, то её содержимое не меняется.

2) delete r from M[s, o]; (s S, o O)

Удаление у субъекта s права r по отношению к o.

Изменения в состоянии системы:

M'[,]= M[,], если (,)≠(s, o)

M'[s, o]=M[s, o] \ {r}.

Если удаляемое право отсутствовало в ячейке, то состояние системы в результате выполнения данной команды никак не изменится.

3) create subject s; (s S)

Создание нового субъекта s.

Изменения в состоянии системы:

S'=S U {s},

O'=O U {s},

M'[,]=M[,], для ∀(,) S × O

M'[s,]= для ∀O'

M'[, s]= для ∀S'

4) destroy subject s; (s S)

Удаление существующего субъекта s.

Изменения в состоянии системы:

S'=S \ {s},

O'=O \ {s},

M'[,]= M[,], для ∀(,) S' × O'

5) create object o; (o O)

Создание нового объекта o.

Изменения в состоянии системы:

O'=O{о},

M'[,]=M[,], для ∀(,) S × O

M'[, s]= для ∀S'

6) destroy object o; (o O \ S)

Удаление существующего объекта o.

Изменения в состоянии системы:

O'=O \ {o},

M'[,]= M[,], для ∀(,)=S' × O'

Приведём несколько примеров команд, которые формируются из элементарных операций:

1. Создание файла. Пользователь p создаёт файл f и получает на него права владения, чтения и записи.

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