Защита информации в компьютерных сетях. Кулябов Д.С. - 50 стр.

UptoLike

ВУЗ: 

РУДН | Москва

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

Рубрика: 

50 Д. С. КУЛЯБОВ
2.2.9.4. БЕЗОПАСНАЯ ФУНКЦИЯ ПЕРЕХОДА ДЛЯ МОДЕЛИ СОВМЕСТНОГО
ДОСТУПА
Пусть F
s
— функция уровней безопасности для индивидуальных субъ-
ектов (т.к. значения функций F
H
и F
L
границ множества уровней безопас-
ности групповых субъектов однозначно определяются уровнями безопас-
ности составляющих их индивидуальных субъектов, то, если в результате
перехода из одного состояния в другое F
s
осталась без изменений, из этого
следует, что не изменились и функции F
H
и F
L
).
Критерий 2.6. Функция перехода T для модели совместного доступа
считается безопасной по чтению, если для любого перехода T (v, r) =
v
∗
, при котором v = ((F, F
H
, F
L
), M) и v
∗
= ((F
∗
, F
∗
H
, F
∗
L
)
∗
, M
∗
) выпол-
няются следующие три условия:
1) если read ∈ M
∗
[s, o] и read /∈ M[s, o], то:
F
∗
L
(s) > F
∗
o
(o) и F
s
= F
∗
s
, F
o
= F
∗
o
2) если F
s
6= F
∗
s
, то:
M = M
∗
F
o
= F
∗
o
∀s, o, для которых F
∗
L
(s) < F
∗
o
(o), read /∈ M[s, o]
3) если F
o
6= F
∗
o
, то:
M = M
∗
F
s
= F
∗
s
∀s, o, для которых F
∗
L
(s) < F
∗
o
(o), read /∈ M[s, o]
Критерий 2.7. Функция перехода T для модели совместного доступа
считается безопасной по записи, если для любого перехода T (v, r) = v
∗
выполняются следующие три условия:
1) если write ∈ M
∗
[s, o] и write /∈ M[s, o], то:
F
∗
o
(o) > F
∗
H
(s) и F
s
= F
∗
s
, F
o
= F
∗
o
2) если F
s
6= F
∗
s
, то:
M = M
∗
F
o
= F
∗
o
∀s, o, для которых F
∗
H
(s) > F
∗
o
(o), write /∈ M[s, o]
3) если F
o
6= F
∗
o
, то:
M = M
∗
F
s
= F
∗
s
∀s, o, для которых F
∗
H
(s) > F
∗
o
(o), write /∈ M[s, o]
Критерий 2.8. Функция перехода является безопасной тогда и только
тогда, когда она одновременно безопасна и по чтению, и по записи.
Для модели совместного доступа также будет верна и теорема Мак-
Лина о свойствах безопасной системы (с учетом сформулированного кри-
терия безопасного перехода).

Страницы