Программно-аппаратные средства обеспечения информационной безопасности. Зайцев А.П - 41 стр.

UptoLike

ВУЗ: 

МИРЭА | Москва

Составители: 

Рубрика: 

41
Рис. 1 − Порождение субъекта и понятие потока
Введем обозначение «множество объектов {O
m
}t ассоции-
ровано с субъектом S
j
в момент времени t»: S
j
({O
m
}t).
В данном случае определение не в полной мере является
формально строгим, поскольку состояние субъекта описывается
упорядоченной совокупностью ассоциированных с ним объектов.
В момент порождения субъекта S
m
из объекта O
i
он являет-
ся ассоциированным объектом для субъекта S
m
.
Определение 3. Потоком информации между объектом O
m
и объектом O
J
называется произвольная операция над объектом
O
J
, реализуемая в субъекте S
j
и зависящая от O
m
.
Заметим, что как O
J
, так и O
m
могут быть ассоциированны-
ми или неассоциированными объектами, а также «пустыми» объ-
ектами (NULL).
Обозначения: Stream(S
i
,O
m
)->O
j
– поток информации от
объекта O
m
к объекту O
J
. При этом будем выделять источник
(O
m
) и получатель (приемник) потока (O
J
). В определении под-
черкнуто, что поток информации рассматривается не между
субъектом и объектом, а между объектами. Активная роль субъ-
екта выражается в реализации данного потока (это означает, что
операция порождения потока локализована в субъекте и отобра-
жается состоянием его функционально ассоциированных объек-
O
j
S
k
S
i
O
m
O
j
S
i
kji
SOSCreate >),(
OjOSStream
mi
>),(
                                      41



                               Oj                     Om

   Create ( Si , O j ) > S k



                               Si                     Si



                                                           Stream ( Si , Om ) > Oj

                               Sk                     Oj


                 Рис. 1 − Порождение субъекта и понятие потока

     Введем обозначение «множество объектов {Om}t ассоции-
ровано с субъектом Sj в момент времени t»: Sj({Om}t).
     В данном случае определение не в полной мере является
формально строгим, поскольку состояние субъекта описывается
упорядоченной совокупностью ассоциированных с ним объектов.
     В момент порождения субъекта Sm из объекта Oi он являет-
ся ассоциированным объектом для субъекта Sm.
     Определение 3. Потоком информации между объектом Om
и объектом OJ называется произвольная операция над объектом
OJ, реализуемая в субъекте Sj и зависящая от Om.
     Заметим, что как OJ, так и Om могут быть ассоциированны-
ми или неассоциированными объектами, а также «пустыми» объ-
ектами (NULL).
     Обозначения: Stream(Si,Om)->Oj – поток информации от
объекта Om к объекту OJ. При этом будем выделять источник
(Om) и получатель (приемник) потока (OJ). В определении под-
черкнуто, что поток информации рассматривается не между
субъектом и объектом, а между объектами. Активная роль субъ-
екта выражается в реализации данного потока (это означает, что
операция порождения потока локализована в субъекте и отобра-
жается состоянием его функционально ассоциированных объек-

Страницы