В современных системах автоматизированного проектирования ши

destroy
и 
delete
; 

команды 
α
i
{
x
1
,..., 
x
k
) не содержат операций 
create
. 
Эти условия существенно ограничивают сферу применения модели, 
поскольку трудно представить себе реальную систему, в которой не будет 
происходить создания или удаления сущностей. 
Таким образом, дискреционная модель Харрисона-Руззо-Ульмана в 
своей общей постановке не дает гарантий безопасности системы, однако 
именно она послужила основой для целого класса моделей политик безо-
пасности, которые используются для управления доступом и контроля за 
распространением прав во всех современных системах. 
7.2.3. Типизованная матрица доступа
Другая дискреционная модель, получившая название "Типизованная 
матрица доступа" (Type Access Matrix – далее ТАМ) [141], представляет 
собой развитие модели Харрисона-Руззо-Ульмана, дополненной концеп-
цией типов, что позволяет несколько смягчить те условия, для которых 
возможно доказательство безопасности системы. 
Формальное описание модели ТАМ включает следующие элементы: 
1.
конечный набор прав доступа
R
= {
r
1,
..., 
r
i
}
; 
2.
конечный набор типов
Т
= { 
t
1
, ..., 
r
g
}
; 
3.
конечные наборы исходных субъектов
S
0
={
s
1
, ..., 
s
}
и объектов
О
0
={
o
1
, ..., 
o
m
}
, где
S
0

О
0
; 
4.
матрица 
М
, содержащая права доступа субъектов к объектам, и её на-

---

179
чальное состояние 
М
0
; 
5.
конечный набор команд 
С
= {
 α
i
(
x
1
,. 
x
k
)}
, включающий условия вы-
полнения команд и их интерпретацию в терминах элементарных опе-
раций. 
Тогда состояние системы описывается четвёркой
Q
= (
S
, 
O
, 
t
, 
M
) , 
где 
S
, 
О
, и 
М
обозначают соответственно множество субъектов, объектов и 
матрицу доступа, a
t
: 
O
→ 
T
– функция, ставящая в соответствие каждому 
объекту некоторый тип. 
Состояние системы изменяется с помощью команд из множества 
С
. 
Команды ТАМ имеют тот же формат, что и в модели Харрисона-Руззо-
Ульмана, но всем параметрам приписывается определенный тип: 
command
α
(
x
1
: 
t
1
,.., 
x
k
: 
t
k
)