Документ: Методические указания к практическим занятиям по дисциплине «Управление информационной безопасностью» для студентов специальности 090303. Разинкин К.А, страницы 16-20

Таблица Правила преобразования мандатной ДП-модели

Правило	Исходное состояние	Результирующее состояние
	G S, E, R A F, H, fs , fe ,CCR	G' S' , E' , R' A' F ' , H ' , f 's , fe' , CCR'

x S; y E; z E \ S;l fe (z);

S '

S; E'

E y ; R'

R; fs'

fs ;

ccr

true, false ; (x, z,

a

)

A ,

H '

z

H z y ; H '

y

{x,y,z,I,ccr)

где

a

writea , appenda ;

для e

E \

z выполняется

не существует

равенство

H '

e

H e ;

сущности e

E \ S такой,

A'

A

x, y, writea

; fe' ( y)

l;

что

fe ( y)

fe (e)

для e

E \ S выполняются

entity

и x, e, reada

A

равенства

f '

e

f

(e);CCR' (e)

CCR e ;

e

если y

O' , то CCR' y

false;

сreate

если y

C' ,то CCR' ( y)

ccr;

если x

NS S , то

F '

F x, e, write

t

: e

E и y

e ;

если x

LS S, то F '

F

x S; y ES; z E; fs (x)

fe ( y);

S'

S z ; E'

E z ; R'

R; A'

A;

fs x

l; для каждой

H '

x

H x z ; H ' y

сущности-контейнера y'

E \ S

для e

E \ E выполняется

y,z,l)

такой, что y

y' и CCR y'

true,

равенство

выполняется неравенство

H '

e

H e ;

fs'

z

l;

(x,

fs s

fe

y'

CCR'

z

false;

subject

для s

S выполняется равенство

f '

f

s

; для e

E \ S

s

выполняются равенства

сreate_

f ' (e)

f

e

(e);CCR' (e)

CCR(e)

e

если x

Ns S , то

F '

F

z, x, write

t

x, e, write

t

: e E

и y

e ;

если x

Ls

S, то F' = F

14

rename_entity (x, у, z) Правило

access_read(x,y)

access_write (х,у)

Продолжение таблицы

Исходное состояние	Результирующее состояние
G S, E, R A F, H, fs , fe ,CCR	G' S' , E' , R' A' F ' , H ' , f 's , fe' , CCR'

x S; y, z E \ S; y H z

S '

S; E '

E; R' R; H '

H ;

(x, z, writea )

A;

f '

f ;

f '

f ; CCR'

CCR;

s

e

не существует сущности

A'

A

x, y, writea ;

e

E \ S такой, что f

e

y

f

(e)

если x

NS S, ,

то

e

и (x, e, reada )

A

F '

F

x, e, writet

: e

E; x

e

и e

z x, s, writet

: s

S; x

s

и (s, e,

r )

R,

где e

E; e

y ;

и

r

Rt

если x

Ls S , то F'=F

x S; y E \ S; fs (x)

fe y ;

S '

S; E '

E; R'

R; H '

H ;

fs'

fe'

для каждой сущности-

fs ;

fe ; CCR'

CCR;

A'

контейнера

A

x, y, reada ;

y'

E \ S такой, что у < у' и

если x

NS S, , то

CCR(y') = true, выполняется

F '

F

y, x, write

x, e, writet

: e

E, x

e

неравенство

f

x

f

y'

; не

m

и y

e

s

e

существует сущности z

E \ S

если x

LS S , то

такой, что

fe

z

fe

y

и

F

'

F

y, x, writem

x, z, a

A , где

a

{writea, appenda}

x S; y E \ S; fs (x)

fe y ;

S '

S; E'

E; R'

R; H ' H ;

для каждой сущности-

fs'

fs ; fe'

fe ;CCR' CCR;

контейнера

A'

A

x, y, writea

;

y'

E \ S такой, что у < у'

если x

Ns

S , то

и CCR(y') = true, выполняется

F '

F

x, y, writem

x,e, writet

: e

E;

неравенство

fS (x)

fe

y

'

;

x

e и y

e;

не существует сущности

если x

LS S , то

z

E \ S

такой, что

fe

e

fe

z

и

F '

F

x, y, write

m

x, z, reada

A

15

access_append (x,у) Правило

flow{x,y,y',z)

find(x, у, z)

Продолжение таблицы

Исходное состояние

Результирующее состояние

G

S, E, R A F, H,

fs ,

fe

,CCR

G'

S' , E' , R' A'

F ' , H ' ,

f 's , fe' , CCR'

x S; y E \ S; f

s

(x)

f

e

y ;

S '

S; E'

E; R'

R; H '

H; fs'

fs ; fe'

fe

для каждой сущности-

CCR'

CCR; A'

A

x, y, appenda

контейнера y'

E \ S такой, что у

если x

N

S

S , то

< у' и CCR(y') =true,

F '

F x, y, writem

x,e, writet

: e

E;

выполняется неравенство

x

e и

y

e ;

f

S

(x)

f

e

y'

не существует

если

LS S,

то

сущности z

E \ S такой, что

x

F '

F

x, y, write

fe

y

fe

z

и

x, z, reada

A

m

x, z S; y, y'

E; x z; y y'

S '

S; E'

E; R''

R; H '

H ;

x, y,

a

, (z, y' ,

A,

f

'

f

; f

'

f

;

s

e

где

a , a

Ra

ССД' = ССД; если

x, y

NS S, то

F '

F

x, z, write

t

z, x, write

t

;

если

x, z Ls S

,

то F' = F

x, z

S; z

E; x z;

x, y,

,

S '

S; E'

E; R'

R; H '

H ; если

y, z,

A F ,где

,

fs'

fs ;

fe'

fe ;CCR'

CCR;

writea , appenda , writem , writet

write

,

, то F ' F

x, z, write

m

;

t

если

writet

,

и

x, y

N

s

S, то

F '

F

x, z, write

t

;

если

writet

,

и

x, y Ls

S

,

то F' = F

16

Правило

post(x,y,z)

pass(x,y, z)

control(x,y,z)

Продолжение таблицы

Исходное состояние	Результирующее состояние
G S, E, R A F, H, fs , fe ,CCR	G' S' , E' , R' A' F ' , H ' , f 's , fe' , CCR'

x, z S; z E; x z; x, y,

,

S '

S; E '

E; R'

R; H '

H ;

z, y, reada

A F ,где

fs'

fs ;

fe'

fe ; CCR'

CCR;

если

writet , то

write

, append , write

m

, write

a

t

F '

F

x, z, writem ;

если

writet

и

x, y

Ns S, то

F '

F

x, z, write

t

;

если

writet

и

x, z Ls S

,

то F' = F

x, z S; z E; x z; x, y,

,

S '

S; E'

E; R'

R; H '

H ;

z, y, read

a

A F ,где

fs'

fs ;

fe'

fe ;CCR'

CCR;

write

a

, append , write

m

, write

если

writet , то

a

t

F '

F x, z, write

m

;

если

writet

и y

Ns S,

то F '

F x, z, write

t

;

если

writet

и

y LS S, то x, z , то F' =F

x, z S; z E; z y ; f

s

x

f

( y) и

S '

S; E '

E; R'

R; H '

H ; f '

x f

s

y ;

s

или х = z, или (x, z, writem) F

f '

f ; f '

f ;CCR'

CCR;

s

e

для s

S \ x

выполняется равенство

fs' s

fs s

17

Безопасность в смысле Белла-Ла Падулы

В рамках мандатной ДП-модели доказано утверждение, аналогичное утверждению, обоснованному в теореме 4 данной работы (базовой теореме безопасности модели БеллаЛаПадулы).

	Теорема 5. (БТБ-ДП).		Пусть
G0	S0 , E0 , R0 A0 Fo , H0 ,	fs0 ,	fe0 ,CCR0	— начальное сос-
тояние системы (G* ,OP) , являющееся безопасным в смыс-
ле	Белла-ЛаПадулы, и	A0	F0 .	Тогда система
	(G* ,OP,G ) является безопасной в смысле Белла-ЛаПадулы.
	0

Таким образом, в системе

(G* ,OP) по теореме 2 не

могут быть реализованы запрещенные информационные потоки второго вида (информационные потоки по памяти от сущностей с большим уровнем конфиденциальности к сущностям с меньшим уровнем конфиденциальности).

Типовые задачи

Задание 1. Опишите состояния системы Белла-

ЛаПадулы	со	следующими	параметрами:	S	s1, s2 ,
O o1, o2 ,	R	read , write , L,	Low, High ,	M	— не
используется, fs		s1 f0 o1 Low, fs s2 fo o2		High.. Под-

считайте количество различных состояний системы для следующих случаев:

в системе не требуется выполнение свойств безопасности;

в системе требуется выполнение только ss-свойства; в системе требуется выполнение ss -свойства и *- свойства.

18

Материал: Методические указания к практическим занятиям по дисциплине «Управление информационной безопасностью» для студентов специальности 090303. Разинкин К.А

Смотрите также: