.

:
36 ;
10 ;
8 ;
() 86 ;
.
:
1. . ;
2. ;
3. .
4. ;
5. ;
6. ()
7. ;
8. . ;
9. ;
10. .
:
;
;
;
;
;
;
;
;
.

 :
1. ..
. 2 . .: , 1994 (.1 400
., . 2 176 .).
2. . / .
.., .. .: < >,
1998. 472
3. : .
/ .., .., .. . .:
, 2000. 192 .: .
4. .. . .:
, <>, 1997. 368.
5. .., .., ...
. .: , 1999. 328.
6. .., ..
; 2 . : 95, 1997.
7. ..
. " XXI" . .:
, 1999, 232 .
8. .., .., .., ..
:
.: 1 ,
. , 1996. 165 .
9. .., .. .
.: "", 1996. 192 .
10. . / .
... .: "", 1996. 304 .
11. . : .
/ .., .., .. .; . ..
: . .. , 1996. 69 .

12. . ., . . .: "", 1995.

:
. Confident




,

.

1 .
,
.
,
. : ;
, .
,
.
, ()
.
, 1, ..
: P{A}=1.
2 , ..
,
. :

P{A} + P{A} = 1 ,

(2.1)

.. {A} = 1 P{A}

(2.2)

,
: P{A} = 0 .
A B ,
.
) :

) :

a) ; ) .
P{A} ( )

N
(): P{A} = lim 1
N N

(2.3)

 :
0 P{A} 1 ;

(2.4)

P{A + B} = P{A} + P{B} P{A B} ;

(2.5)

: P{A + B} = P{A} + P{B} ;

(2.6)

: P{A/B} =

P{A B}
;
P{B}

(2.7)

: P{A B} = P{A} P{B} ;

(2.8)

,
.
.

,
x , x ,..., x ,...
1 2
k
.

(p)
.
:

.
n
p = 1 . (2.9)
i=1 i
n
: M[ ] = x p . (2.10)
i=1 i i

n
: D[ ] = (x M[ ]) 2 p (2.11)
i
i=1 i

.
: = D[ ] . (2.12)
:

):


: M[ ] = x f(x)dx

: D[ ] = (x M[ ]) 2 f(x)dx

(2.13)

(2.14)

: = D[ ] (2.15)

:
:
X=

X1 + X 2 + ... + X n
;
n

(2.16)

:
n

D[ = () =

(X k X) 2

k =1

n 1

(2.17)

k
e
: P{ = k} =
k!

(2.18)

: f(x) = e x (2.19)

(x M)
1
2
e 2
: f(x) =
2

(2.20)

.
" " ( ):
P{3 + M 3 + M} = 0,997 ;

(2.21)

x [M 2:] P = 0,954 ;

 (.., 1900.):

,
,
.
:

C N N
p . , :
> 0 p ,
, N 1, .. lim P( p < ) = 1.
N
N

(2.22)

1.
;
P{A} = 0,9, : P{B} =
0,8.
, .. ,
.
: P{A, B} = 0,9 + 0,8 0,9 * 0,8 .
2.

:
K (NK );
L (NL );
M .

, A ;
B . A*B
.
, :

M
P{A B}
M
P{B/A} = = N K =
B
K
P{A}
N
A.
: P{A/B} =

P{A B}
P{B}

: P{A/B} = P{A}; P{B/A} = P{B} ;

3.
(36 ) 2 . ,
?
: A 1 ; B 2 .
2 :
P{A B} = P{A} P(B/A) =

4 3
1
, P{A} 1
+ =
36 35 105

, P{B/A} 2 ( , 1
).

2 ( )
,
, .
:
,
,

(),
.

,
.
, ,
,
.
:

;
;
;
:

;
( , , ,
,);
;
, .
(,
,

),

 ,
.
, ; , ,
.
, ; .

3 .
, ,
. ,
.

. .
.

.
, , , .
,
.
. (
,
). ,
.
1 01,...,0n , 1<...<5. (2, 1, 3,....,
4) .
, , C1=100 ., 1/.= 50 .,
,
: C2=50., C3=150 . ..
. ,
.
.
.
, .
,

.

2.

1,...,n ,

1,...,n.

, ,

 i i,
i

i EWi = pii.

W = W + ... + Wn . ( ) :
1

n
EW = p C
i i
i =1

(4.1)

, , ,
RASYS.
.

. ,
, .

3.

()

<

<

<

(<<<)

: unclassified<confidential<secret<top secret (U<Conf<S<TS).

.
.
.

SC

<, .. , ,
1. : <,

(4.2)

: <, <==><,

(4.3)

2. : <, < => =.

(4.4)

. , BSC C=ABSC

( ), :
<, <;
A<D, B<DC<D DSC.
AB, , .
, .
. .
. , BC E=ABSC

( ),
<, <;
D<A, D<BD<E.
. ,
.
. .
. (SC, <) , , BSC

ABSC ABSC.
. S={1,...,n } SC
,:
S=A1...An S;

(4.5)

S=A1...An S.

(4.6)

. .
C1=(A1A2) A3=A1(A2A3)=C2.
C1>A3, C1>A1A2. 1>, 1>A2, 1>1.

C1>A2A3,

1>1,

1>2.

2>1.

1=2.

S.

, S . .
SC
High = SC, Low = SC.

, {0, 1 ,..., n}=SC .

.
={1, 2...n } Xi.
, X1 , Xj.
, i<j. ,
. , Xi Xj
ij, Xi Xj .
, .. .
, ,
.
, L,
. i=l,...,n, L<Xj.
. .
. .

,
, , .
. , .

.
. ,

, .
. , .

 x.

A, . <. 1), 2),

3) . , AB , =. ,
.
4. ={1, 2, 3}.

={1,...,m} ,

Y1...Yn

. .
.
X .
iXi={i}. YjYj={Xi|XjYj}.
5. X1, 2, X3, Y1, Y2. Y1 X1,2; Y2 X1 3.

Y1={X1,X2}

Y2={X1,X3}

MLS

Multilevel Security
.
L SC X, ..
(,), (,) , ,L , ,SC
X.

(,)<(,),<

(4.7)

:
(,)(,)(,max{,}), (4.8)
(,)(,)(,min{,}). (4.9)
{ } {(,)}.
, , . X
.

, .
SC, , : 0S,
01,..,0n ,
(01),...,(0n). ,
. , (0)=
C(01)...C(0n).
. ,
, :
, , ,
(, ).

4
[1]:

2,3 . . (1,43 . . ).
11
15 %, 5-10 .

, :
T Q2 ,
T , Q .
:
1. . "" // . Connect!,
1996.- . 18-21.
[1]: 60- .

'

(
):
" ,

, (
),
!"

5 .
" ,
", 1995 . (. 2):
, , , ,
;

(, , , ,
);

( ) ,
.
:

13. , ;
14.
, ;
15.
,
;
16.
.

, .
, , ,
,
.
[ ..
:

, 11/12, 1994. . 48 52.]

//


, :
1. ,
;
2.

,
;
3. ( )

;
4.
;
5.
.

,
.

" ", 1995 .,

[.: ..
, . 2 8 //
, 0, 1995 .]:
(..

 [ ..
( ), . 35 38]
, XXI :
1. ;
2. (), ,
, , ,
, , ;
3. , hardware;
4. , software;
5. .

6 .
[1]:

(information security)

, ,
.
:
[2]: (data security) ,

,
, .

.
,
, , .
[3]:

,
, .

1. .. -
: , , // ,
11-12, 1994, . 48-52.
2. .., .., .., ..
.
. .-., 1996.- 165 .
3. . . ( ..
)// , . 3-4, ., 1996.

.
[1]:

, .

, , :
1. , ;
;
.

 ,
.

[1]

1.

(securitiy)

,
.
:

, ;
, ;
, .
:

:
;
;
.
:

(, , );
, , ;

).

.
:

1. .., ., ..
. .: , 1997. 31 .

7
[ , #3,1996,. 89; .. , ..
]:

,
;

.

.

, : ; ;
.

,
, ,

.
:

 ,
:

,
;

,
,
;

,
, ,
,
;

, ,
.
:

,
;

, ;

,
;

, , ,

.

:
1. ,

;
2. ,
;
3.
.

[ .., . 103 -110]; [ .., .I, . 26]; [ ..

., . 12-15]

1 (1960-1970 .).
, , ,

, , MULTICS ADEPT-50,
, .
2 (1970-1976 .).
.

. .
.

, ,
.
,
,
, , .

. , ,
,
.
3 (1976-1990 .). 2- .
.
.
.

 ,
.
( ).

.
, ( )
,
.
, ,
,
, .
4 (1990 . ). 3-
. . ,
.

. ,
,
.

.
[ .., .., .., ..
.
, .-, 1996. -165.]:

,
,

:
1.

():

;
2.

;
3. : ,
.
:

1.

..,

..

//
, . 3 (34), 1996. . 29 33.

,
1.
,
(, ,

).

2.

,
, ,

,
( ,

, ).
3.

) ,
,

.
4.

.
, :

;
;
;
.

1. ..
. . 1, .: 1994 .10-11.
2. .. .: 1980.

( ), :

, ,
, ;

, ,
;

-, ,
;

, ;

, (
, );

, (
, );

, (
, );

, ,
.


, .
[2]: ,

.
, .
,
:
1. ,

,
,

[1];
2. ,
139 ,
,

,
()

[2];
3. , 11
,
,

, ,
,
[3];
:

1. //. ,
1993, 21 .
2. ( 1 2). :
, 1995.
3. ,
//.. , 8, 20 1995, . 609.

(knowhow),

, .

,
.
.

06.03.1997
:
1.

, (
), ,


.
2. , .
3.

( ).
4. , ,

(, , , ,
, ,
..)
5. , ,

( ).
6. ,
.
[ . Confident, 3, 1997, .20].

10 .
.
.
( )

. , ,
,
.
, :
1)

(confidentiality)

.
2)

(integrity)

,
.

(
confidential )
, ,
.

()
.
()
, ; ,
, .
3)
,
, .
.
4)

,

,
.
, ,
,

,
.
.
[ . .

, .12]:

,
()
()
.

 (, , , ,
..), .
,
.
(, ),
.
[ .. , 1980]:
,
, ..
.
[ .. , 1, .: 1994,.8]:

.
().

, .

(
) . ,
,
.

,
().
(threat) , , ,
, .
,
.
.
, , ,

 .
, , .
(threat agent) (),
.

(consequence

outcome)

,
.
[..]:

,
, ,
() .

() 2 :

(, , ),
,
.

, ), ,
.
(failure fault)
, .
(malfunction)
,
.

()

,
.
:

( );
;
;
(:
);
, , ,
..

, , ,
..
()
,
, .
(
) (, ).
, .
() ,
.

[. , . . 13]

,
() .

1.

(logic

bomb)

 ,
, .

,
(IF = THEN = *
* 1,01 ELSE = * ).
.

. .
2. (bumbling) (human
error), (accident), (error of omission),
(error of commission).

( 50 60%
).
3.

(wiretapping)

,
. (passive
tapping)
, , , .
()

 . ,

,
( ).
, ,
.

? ? ? ?

4. (piggybacking) ( piggy ,
back ) ,
( ) ,

(piggybacker)

, , ,
.
() ,
.
5 (superzapping)
, , , ,
. SUPERZAP
, .

,
Norton Utilities PC Tools.
6 (Troyan horse) ,
, ,
. , ,
, ,
, Email .
, (FAT) ,
.

[. , . , , 1996, . 51]

, 1989 Executive Information

Network,
:

, 80 % , 20 %
.

, ,
.
, ,
.
, , .
, ,
.
, ,
. , ,
: , , . ,

 , HewlettPackard,
Tandem, : .
,
. ,
,
,
.

..
, .

,
. ,
, . ,
,
. .
.
.

, :

;
.
, ,
, ,
.
, ,
.
,
.
,

 .
.

.
.
, .
.
(. . ,
).
:
U2

U1 ,
U2 , U2 , U1
S. .
1. .

S1 , . S2
, S1.
. ,
1 .
, ,
S2.

2.

U1,

U2
.
U2 .

.

 3.

.

.
.
" ",
.

.

U1 ; U2
; S1, S2,...,Sn
U1. Si ,
,
.
.

. ,
, .

U1 ;

U2 ,

; S , ; Sm
, S; S
U1, Sm.

S, Sm.
4. S

. S
, U1 U2 U2.
S
, S .
U1
S ,
.

.
5

.
() .
.
.
6. ,

.
, .

.

.
.
, , " " ..

.
( ).
, (r) (w).

1.

" ", :

, "
"

U1 ;

U2 ;

; S (), U1 U2.
U1, w, S,
,
U2.
1 .

) .
, .. , .
,

.
.
,
.
: "" .

.

[ .., .1, .45]


(),
, .

,
;

.

.

,

:
, ,
,
, :

;
;
, .


,
(=) ,
(R=).

IBM

Ri i :

Ri = 10 ( S +V 4 ) ,
i

: Si ,
i ;
Vi ,
.
( Si Vi )
:

R = R
i i
: .
[ .., .1, .136]

Si:
()

Si

1 1000

1 100

1 100

1 (10 )

2 (100 )

3 (1000 )

 Vi:

Vi

(.)
1

10

100

1000

10000

100000

1000000

10000000

.
:
()
;
.
( ) Oi
T :
t

Pi =1 (1 Pik ) k , : k = k ;
T
k

P Oi ;
ik
(1 P ) Oi .
ik
:

P = P ' P"
ik
ik ik

P ' = (1 P* )
ik
ij'k
j'J'

i - ,
;
J ,
;
P*ijk Oi () j1.
P" =
(1 P*
) Oi
ik H j"
ij"
k
J"

( ) Yj ,
.
J'' ,
;
P*ijk Oi Yj -
.
, ( )
T :
P = P .
iI i
:


;

(),

;

() ,
.


(.:[. , . ], . 4445)

GAO (General Accounting Office)

1992 DEA (Drug Enforcement Administration)
, .
GAO, , DEA ,
!
, ,
, DEA .
DEA, GAO:

. DEA
;
DEA ;
DEA
;

DEA

, ,
TEMPTEST ( );
DEA ;
DEA 5 ,
;

;
, ,
, , ,
;
;
;

, ;


;
5 , ,
( ) 17 ,
; .

13

- () .

, , .

:
66 %;
(; ;
) 17 %;
7 %;
5%;
5%.
( 24 1996 .
1 1997 .)
:
:
( 200 500 ,...,
);
(
200 500 ,...,
); ,
( ).
:

1. .. : .
.: , 1996.- 182 .
2. ..
// . , -, 1996, 4(10).- . 25-27.

 .. ,
:
79 %;
, 13%;
8%.
, 90 %

, 10 %

.
[PC Week/RE, 8 1997, #26, . 44] = [. ,
- ""]:

" 1995 . 185

, 250
. , 60 .
20 %.

14

:

, ,
;
,
();

;
" " ( )
.
.

:

..

;
, .. .
( )

).

-
:

1. [ .. , .1, .: 1994]- .70-75;

2. [ .. .- .: , 1980]:
: " ?"
(): " ,
,
".
:

( ) ;
;

();
.

 :
()
;
( );
;

() ( -)
( ) .
( .. .. ..)

(): R = p (Yi )ri

i =1

p(Yi) Yi;
ri Yi
:

() :

~ n

R = [p(Y ) p(Y /Y )r + c ]
i
i i i
i
i=1

p(Yi) Yi;
p(Yi/Yi) i- i ;
i ( i);
ri Yi;
i (i);
() :
c
n
~ n

R = R R = {p(Y ) r [1 p(Y /Y )] c } = [p r (1 e i i ) c ]
i
i i
i i
i i=1 i i
i=1
~ n ~
~
R = R , R Yi,
i=1 i
:

: .
2 :
~

) (R max); ( R min)
c
c
(R
= p r e i i 1 = 0 ; e i i = p r1 ;
ii i
C
ii i
i
(Ci ) =

1
ln(pi ri i ) , (I=1, 2, ,n).
i
~

) (R max); ( R min),
n
C i = C 0 = const .
i =1

:
n
F = R + ( C i C 0 ) max .
i =1
.
pr
c
1
F
1
1
= p i ri i e i i 1+ = 0 ; C i = ln( i i i ) = ln(pi ri i ) ln(1 ) ;
C i
i
1
i
i

n 1
n 1
n
: C i = C 0 ,
ln(1 ) = C 0
ln(pi ri i )

i =1 i
i =1 i
i =1
A, B.
ln(1 ) =

(A C 0 )
B

0=, (i) , ln(1-)=0.

(Ci ) =

1
1 (A C 0 )
ln(pi ri i )
.
i
i
B

15
()
,
:
;
;

;
. .
4 :
1 ,
.
.
2
,
, .
, -.
3 ,
.

4 ,
,
.



.
:
:
(=), . . ;
1, 2, 3 1:3;

:
P = P /(1 P1 )(1 P 2 )(1 P 3 ) ;
:
*
P
= 1 P .

;
,
, .
, () :
;
, ;

.
:

;

 ;
;
.

:
,
;
(,
);
;
;
;
, ;
;
;
;
.


[ .. .; 1997,
16.3]
( ) / :

, :
():
()
;

;
,
, ;

;
,
;
.
:

() ;

, ,

;

, ;
;


,
;

 ,
:
.
( ,
) .
,
, .

,
( , , )
(). ,

,
. ,
, , ,
, ,
.
-50
( ).
( ) :
U ;
j ;
t ;
f .

 50

( ):
A ,
, ;
C , ,
;
F , ,
;
M ,

.
, C, F, M .

:
"u" "j" , u
U, U ,
;
"u" "t" , u
F(t);

 "u" "f" , u
F(t), A(u) A(f), C(u) C(f), M(u) M(f);
"t" "f" ,
:
F(t) F(f), A(t) C(f), C(t) C(f), M(t) M(f).
,
5 : U
, R , S
, A
.
: D=U*A*R*S*E.

:
g=(u,r,s,e), u U, r R, s S, e
E. ,
.
:

.., , . I, 4.5 (.141-146).

.. .- .: , 1980.

(A)

, , .
(C) .
.

{,

, , }.
(F) ,
.

 (M) ,
. : ,
, ..

16
() :

()

(=

( ,
) .
():
i () i;
j , Yi;
= j ;
k , ;
l , .

k j l i
:
P*
ijkl

= P

( . l)
(
* P
ikl
ijl

* P

( .
ijkl

j)

* P

(
ijl

:
(.l)
P
k l i
ikl
;
(
P
() j
ijl
l I ;

(.j)
P
k j
ijkl
l i
;

()
P

ijl

l i .

k j i
( , . . 5
), :
5
5
*(
(l)
( (j) (
P
= 1 [1 P* ] = 1 [1 P
*P
*P
P
]
ijk
ijkl
ikl
ijl
ijkl
ijl
l=1
l=1
(
) :
(
*( 5
P
=1 P
= [1 P* ]
ijk
ijk
ijkl
l=1

(i, j k) ,
.

[ ., .I, 5.11]

. {k}
, {k} K.


j i :
*()
P*
= 1 [1 P
].
ij{k}
ijk
k{k}
,

{j}

, i
() k :
()
*()
P*
=1 P
= 1 [1 P
]
ij{k}
ijk
j{j} ijk
j{j}
,

{i}

( ) , j
k :
()
*()
P*
=1 P
= 1 [1 P
]
i{jk}
ijk
i{i} ijk
i{i}
:
*(
*(
].
P* = 1 [1 P
] = 1 [1 P
ijk
ijk
i

I
j

J
k

K
iI
jJ
kK

( ,
):

) ( i ):

i = i : P*
= max P*
,
i {j}{k} i{i} i{j}{k}
*(
= 1 [1 P* ] = 1 [1 P
];
: P*
i{j}{k}
ij{k}
ijk
j{j}
j{j}
kK

) ( j ):

j = j : P*
= max P*
,
{i} j{k} j{j} {i}j{k}

*(
: P*
= 1 [1 P
];
{i}j{k}
ij{k}
i{i}
k{k}

) ( k ):

*
k = k : P*
= max P{i}{j}k ,
{i}{j}k k{k}
*(
: P*
= 1 [1 P
].
{i}{j}k
ij{k}
i{i}
j{j}
(8) (10) {i},{j},{k}
:
i I , j J , k K .

 ()

:
(t ) =

n * l * t
N n(t)

:
P(t) = e t

( ): Q(t) = 1 e t ;
e t 1 t;1 e t t

i :
P(t) = P (t) P (t) P
(1)
(2)
(3)

t t t
i
(t)... = e 1 e 2 e 3 ... = e i=1 = e t


1, 2, 3, () i (
).
P (t) = P (1

t
t
1 ) ... (1 e 5 )

17 .
- :

:
1-6 ;
7,8 ;
9,10 .

18 ()
.
(. . . . : , 1980).
2
, <Yi, Oj> , Yi
Oj:

,
.

( ).
=(1, 2, )
( 1, 2, ) .
<Yi, Oj> . ,

.),

.
.
() 2 3
:


<Yi, > <, Oj>.

. .., 5
: S={O, Y, M, V, B}, : ;
Y ; ; V
, . Vi=<Yi, Oi> ,

i=<Yi, Oi, >,

.

.
Vi i . ,
Oi j.
( )
i=<Yi, Oi, > :

: ,
; Le ; Re
.

.
:
:

n
; = t ;
N n(t)
Yi:
Q(t) = 1 P(t) = 1 e t t
P(t) =1 e t t ;

:
:

1, 2, 3 1, 2, 3;
1, 2
1, 2;

1=[(

1)

2)]

1;
2=[( 1) ( 2) ( 3)] (
2;
: () 1 2 :
1*=(1+2-12)(11);
2*=(1+2+3-12-13-23+123)(1-2);
( ) 1 2:
1=1-1*; 2=1-2*;

19

. ,

,
, ( -).
, ,
, ,
- , , ,
.
,
, . ,

. ,
.

1. ,

1, ..., n1

1, ..., n2

. ,
1,...,n1 '1,...,0'n2 . ,
. ,
,
, ,
.
.
1. , ,
, ,
, ( ,
).
.
2. ,
- ( ,

 ; ,
- , ..
).
,
.

2.
.
, .
, ..
.
, , ,
. ,
,
. ?

,
, .

, .
, , ,
,
.
: -
. ,
. ,
,

, .


. ,

 . ,

"

".

" " ,
. "
"
(" ").
,
.
, MLS, Biba
.
.

(),
" " (1985 .).
, ,
, .
,
.
, 1.1,
.

(). , ,
.
,
.

1.
.

. :
, .
, .

 ,
. ,
.
() .
, ,
. , 1
,
.
,
,
N. ,
, .
:
1 .
.
2 .
, .
.
,
, .
, ""
.
.

2.
. , , ,

. ,
, ,
. ,
, ,
,

 . ,
. ,

,
,
.

3. 1.4


.

. ,
1.7 {(), (C)}. R
, 1,..., m , 1- .
"" R', .
R':
1. ( ) R' ,
, .
2. ( 1.7) R' ,
, .
, 1
, .
, .
.
, .
:
1 ,
;
2 () ,
1;
.

 ,
, 1.
1 A2 , 3 .
1, ,
, ,
, (,
, ).

, (
) .
1 . ( )
. :
, , ,
, , ,
;
, .
________________________
I

-------

-------

________________________
I
________________________
, .
2 . , (.. )
. ,
.
.

. , .
, , ,
.

 2, ,

, . ,
, .

19,23,25
. , . .

,
.

, ..
.
: ,
, ,
.

.
(, , , )

{,

}.

:

;

;
;
.

.
(
).
, .
,
-.

 :
1. .
1.1.

Obj

(types).
1.2. , :
1.2.1. U , ;
1.2.2. G . s
G , G, ,
s1, s2, ,sn, n > 1, si
si+1 i=1, .... n-1.
, .. si sj, sj, si.
1.2.3. R ,
. ,
. ,
.
1.2.4. ,
,
, , .
1.3.

S = {+ a, a aA}
2. :
2.1. :
dirin in , s1 s2

.
typeof. o t.
.
2.2. :
done. ,
, , ,
. , .

cando ,
, .
.
do. , ndo.
, .
.
dorcando. , cando.
,
.
grant. ,
, , .

. .
2.3.
active. ,
. .
2.4.
error. .
.
p

t1,...,tn (t1,...,tn) . .
: cando(OT, ST, SAT) -cando(, 5, 5) .
3.

().
( , )
, , ,
. ,
,
.
:

3.1. .
done(, s, R, a, t) < .
o, s, R, a, t Obj,U, 2R, A IN . done
, , , . done
. done(o, s, R, a, t) ,
s R t.
,
.
3.2. .
, :
cando (, s, <sign> a) < L1 &L2...&Ln
, s, , ObjU G R A , n 0, <sign> = {+,}, 0 < i < n, Li in dirin typeof .
.
,
.
:
dorcando(o, s, <sign> a) L1 &L2...&Ln
, s, , ObjU G R A , n 0, <sign> = {+, }, 0 < i < n, Li do, cando, done, in, dirin typeof .
dorcando .
:
do(o, s, <sign> a) L1 &L2...&Ln
, s, , ObjU G R A , n 0, <sign> = {+, }, 0 < i < n, Li cando, dorcando, done, in, dirin typeof .
dorcando . . , cando dorcando . do
.
:

grant(o, u, RS, <sign> a) L1 &L2...&Ln,

0 < i < n, Li, cando, dorcando, done, do, in, dirin typeof
. grant(o, u, R, +a) , R
. , grant(o, u, R, +a)
, .
3.3. .
errorOL1 &L2...&Ln.
0 < i < n, Li grant, cando, dorcando, done, do, in, dirin typeof
. r , r
, .
.
,
.
()

() .
,
, ..
, .

(,
).
:
;
,
;

- s";
, s,
- s ,
s. .

 (, ,
).
:
;

;
,
.
, ,

.
,
.

), (

).

:
, grant
.
()
, ..
,
.
( ) error
.

.

 , ,
, ,
.
,
:
giG i Z

g,

gi-1 gi i Z

,
,
-

oObj;sSubj;s

gi,

G;oG
r, w A ==>+r,-

,
,

""

r,+w,

a=rvw

create ( )
.

:
cando

in(s,g) ( gi).

do

Y X1 ^ 2^ 3^,..., Y do(...),
Xi, cando(...), cando(...), in(...), in(...),dirin(...), dirin(...)
.. .

dorcando

Y X1^ 2^ 3^..., Y- dorcando(...), Xi, do(...), do(...),

in(...), in(...),dirin(...), dirin(...)

.

,
:
=> NoReadUp
=> NoWriteDcwn

,
:

: gi
i>j

:
s > s <=> dirin(s,g)^in(s,g)^ in(sg)
s < s' <=> dirin{s, g')^ in(s, g')^ in(s, g')
s = s' <=> in(s, g) ^ in(s, g)
,
:
s < <=>s ^ g' : dorcando(o,s,+w)^dirin(s,g)^ in(s,g')^ in(s,g')
s > <=>s' ^ g : dorcando(o,s,+r)^ dirin(s,g)^ in(s,g)^ in(s,g)
s = o <=> s ^ s ^g : dorcando{o, s,+r)^ dorcando(o, s,+w) ^ in{s,g) ^
in{s,g) ^ in(s,g)
,
, , ,
,
.
2
Cando(o, s1 ,+r) ^ cando(o, s2 ,+w) ^s2^> s1 > do(o, s2 ,w)

 , 2 1 ,
, ,
, NRU NWD.
1 ( )
( S2<o),
2 ( ) (
S1>o). ,

,
.
.
1
do(o,s,-a) cando{o,s,+a} ^ cando{o,s,a)
-

. .
3
do(o,s,+a) cando(o,s,+a)^ do{o,s,ci)
"" , 1 2 ,
.
.
1
Dorcando(o, s,a)do(o, s,ai)
.
2
dorcando{o,s,+a) dorcado{o,s,-a)
" , '
3 (NRU)
dorcando(o,s,-r) s<

 , , .
4 (NWD)
dorcando(o,s,-w) s >
, , .
5 ( )
dorcando{o,s,+a) done{o,s,+a)
, gi gi+k, ,
, (+ +w)
. , -
, , , ,
(
). ,

.

, .
.
:
:
S : in(s, S)^ dirnn(s,G)
( ,
), , G,
.

. :
=> NoRecidDown .

=> NoWriteUp .

,
:
gi, gj, i<j.

.
:
.
,
, NoReadDown NoWriteUp
. , ,
:
:
NoWriteUp , ,
NoReadDown,
.
:
NoReadDown , ,
NoWrileUp,
.
, :
dorcando(o,s,-r) s > v
(s1 < s^ done{s1 ,o,+r'))

dorcando(o,s,-w) s < v (o1<o^done(s,o,r))


,
,

 , /
" ",

()

20
Discretionary policy,
.
,
.
, S , SO.
U={U1,...,Um} . : own: 0U.

, ,
. ,
,
.
,
R, S, 0i(i = 1, 2,...,; j = 1, 2,... ).

.
1. : Si ()
, .
2. :
, .
,
.

N
,

.
. j
, " ".
, , , ,

. "
" .

1. U1 , U2 , 1 , , O2
" " , , :

.
U2 2 , , U1
2 . - , U1
(, 2
, U1 ). U1 2
, U1 (..
U1), , 1.
U2 2, , O2
1.

. ,
.
, ,
,

, ,
, . , .
, .
, .

. ,
,
, . ,
, ,
S ,
.
,
. "take-grant",
(
own).
" ".

21
s
o
. mij
i- j- (, , ,
..). 1.1.
1.1
M
O1
S1
r
S2
rw

SNS
e

O2

ONO
w

w
rw

erw

ew
: r , w

, , - .
,
.
, :
)
, ,
F , G;
)
, ,
, ,
, ;
) ,
, ,
20000 ;
)

, ,
7 19 ,
.

, [s,*]
s ( ), [*,]
,
( ).
.
:
) , ,
;
( );
) ( );
) (,f), , f
.
,
.
, , ,
.

. ,
1.2.
1.2

S,O,M
S' O
S,O,M
o'O
S,O,

S'=S U {s'},O U {s'}.

M'=[s,o]=M[s,o], sS, O.
M'[s',o]=, o O'. M'[s',s]=, sS'.

S'=S, O'=O U {o'}.

o'
M'[s,o]=M[s,o], sS, O.
M'[s',o]=, sS'.

S'=S\{s'}, O'=O\{s'}.

s'

s'=S

M'[s,o]=M[s,o], sS, O'.

s'

S,O,M
o' O, o'S o'

S'=S, O'=O\{o'}.
M'[s,o]=M[s,o], sS', O'.

S,O,M
sS, O
S,O,M
sS, O

S'=S, O'=O.
g M'[s,o]=M[s,o]U{g}
M[s,o]
M'[s',o]=M[s',o'], (s',o')(s,o).

S'=S, O'=O.
g M'[s,o]=M[s,o]\{g}.
M[s,o]
M'[s',o]=M[s',o'], (s',o')(s,o).

S ; O , S O;

M[s,o] - . gG.
.
S O, ,
, s'. s'
S O.
, : M'[s,o]=M[s,o].
,
, M'[s',o]=;M'[s',s]=.
.

22 . .
. MLS
( MLS)
.
.
SC, 1.3
MLS.
(. 1.4). X Y
->Y, X -, Y . : O->SC
. c(Y)>c(X), Y - , X.
MLS ->Y
, c(Y)>c(X) S.
, MLS

. ,

.
. r w (
, ,

r).

1,2,...,n (
).
r
r
r
w
w
S

Oi1 , S Oi 2 , S Oik , S Oi1 , S O jnk

(1)

1.3 , c(S)>c(Oit),
t=l,....k,
MLS , c(S)<c(Ojt ), t=l,.., -k, , w,
. ,
S, , ,
MLS. ,

MLS. - MLS ,

 . (1) , S
, c(S)>c(0).
. S
(
). , r w
, MLS , ,
. ,
.
MLS.
r w MLS

r
X

Y c( X ) c(Y ),
w
X
Y c( X ) c(Y ).

MLS.
,

O
O

...
O3
Ok

,
,

...
O
O

. ,

, c(Oi+1) c(Oi ) ,
c(O1) c(Ok ) , .
MLS
(, , ).
- ,

.

, , ,
. ,
,
.
. c(O).
, ,

c(S) .
S , c(S)>c(0) ,
c(S)<c(0).
MLS.
MLS " ".
, 1
3.2.

1. U1 U2 ,
c(U1)>c(U2). , U1 1 ,
c(U2)<c(U1)<c(01), (U2)<(01).
" " , O2,
1,
c(O2) c(O1) .

c(O2)>c(U2) U2 O2,
1 O2 .
MLS
, .
. MLS ,
1.6. ,
U
"" , <c(U).
"" 1.6. ,

.
, 1.6
MLS.
MLS , , .

. , 2 3.1
, .

24

. ( ,
)
:

(ACL(s))
.
ACL(s) - ;

(RCL(s)) (
) ,
ACL(o),
RCL(s) >= ACL(oi) oi;

(WCL(s))
,
ACL(oi), WCL(s) <= ACL(oi)
oi,
;

(AIL(s))
.
AIL(s) - ;

(RIL(s)) ,
AIL(o),
RIL(s) <= AIL(oi) oi;

(WIL(s)) ,
AIL(oi),
WIL(s) >= AIL(oi) oi.
s :
WCL(s) <= ACL(s) <= RCL(s)
RIL(s) <= AIL(s) <= WIL(s)
( LI <= L2 L2 L1).

 , L2 L1
( L1 < L2), L2 , L1,
L1 L2.
,
, ( ).

,
.
:

(ACL(o))
.
, ;

(RCL(o))
, ,
( si ACL(sj) ):
RCL(o) >= ACL(sj);

(WCL(o)) |
,
sj ACL(sj): WCL(o) <= ACL(sj);

(AIL(o))
.
, ;

(RIL(o))
, , (
si AIL(sj) ): RIL(o) <= AIL(sj);

(WIL(o))
( si AIL(sj) ),
: WIL(o) >= AIL(si).
:
WCL(o) <= CL() <= RCL(o)

RIL() <=AIL() <= WIL(o)

.
: s
1 2, :
RCL(s) >= ACL(o1)
RIL(s) <= AIL(o1)
WCL(s) <= ACL(o2)
WIL(s) >= AIL(o2)
( 1 2),
RCL (o1) >= RCL (o2)
WCL (o1) >= WCL (o2)
RIL (o1) <= RIL (o2)
WIL (o1) <= WIL (o2)
( , /

""

/
, ),
RCL(o1) >= ACL(s);
RIL(o1) <= AIL(s);
WCL(o2) <= ACL(s);
WIL(o2) >= AIL(s).
( /
).
(
). , ,

( WCL(s) = ACL(s) = RCL(s)

WIL(s) = AIL(s) = RIL(s) )

/
.

 1

o1 o2, ( ).

1. Castano S., Fugini M., Martella G., Samarati P. Database Security. AddisonWesley, 1995.

25 Biba
, ,

. , -, SC.
X -> Y
Y
X. Y , X,
Y ,
Y X. Biba
.
Biba X -->Y
,
c(Y ) c( X )

,
.
w r Biba
:
r
S

O c( S ) c(O ),
w
S
O c( S ) c(O ).

,
.

26-28 ,
. 1, . , . . 2.
26 1995 .
: , , ,

, (),
, .

. ,
,
.

.

. ,
.
.
1.

, ()
- 70-.
,
, .
.
,
.
.
,
.

1 .
2

 ,
.

. ,
.
.
, ,
. , ,
. .
,
.
,

.
.
, NIST [1], ,
. ,
28 , ,
, , ,
, ,
,
, .
,
,
.
,
,
. ,
,
.

. , SQL3,

 ,
7.
[2].
.
,
, , ,
.
,
. ,

, .
, ,

.

.
2

. , ,
,
.
, ,
Novell Netware Microsoft Windows NT.

. , ,
.

.

. ,

,
.

,
. , ,

. ,
, .
,
. ,

;
.
,
. NIST [1] , , ,

.


.

, .
, , , ,
.
, ,
, , ,
. ,
.

 ,
. ,

. ,
,
.

.
, ,
:
, .
,
, , ,
, .
, ,
, , ,
.
,
, ,
, .
, .
,
. ,
.
.
,
. ,
, .

.
. [3],

 [4] .
,
.
3.

:
?.
.
,

.
.
.
, . ,
,
. ,
. ,
,
. ,
, . ,
. ,

. ( , ,
.) ,
,
.
, ,
,
. ,
. ,
.

,
.
, ,
.
.
,
[5].
, ,

.
.

, .
, .
,
(, , ) [5].

, ,
.
, .
, , .
, .
:
?
,
, .
, ,
,

, , ,
. ,
.
, .
4.

.
1 (),
1 (b). 0, , , ,
,
, . 1 2
0, .
. 1
(,
).

). 1
2 . 3
1 2 , , 0.
,
,
.
.
, ,
,

.
.
4.1

0 1(b),
.

 , (U), (R) (P).

(S).
.
, ,
.
.

, .

. ,
.

.
, ,
.
, ,
, ,
.
, , .
,
.

, - .
, .
, , ,
, .
, , ,
, , .
, ,
, , , . ,


.

. , ,
, ,

, .
1 (b) (UA)
(PA). -. ,
. , ,
.
. ,
.

,
.

, ,
, () .
R 1 (b) ,
. ,
, ,
. ,
U 1 (b).
.
, ,
.
. 0 .
, ,

 , , .
, ,
.
,
, 2. 0
, .
0
.
. ( ) ,
( )

.
1.
0 :
U, R, P S (, , , ),
PAPR, -
,
UAUR,

,
user : SU, , S i
user ( S i ) ( )
roles :S 2 r , , S i
roles( S i )
{r(user( S i ), r) UA} ( ) S i
U rRoles (S ) {p ( p, r ) RA}.
i

,
. ,
, .
, 0
,

 . , ,
, .

U,

R,

P,

PA

UA

.
. ,
.
.
,
. ,
, .
. ( ,
. ,
2.)
[6] , ,

,
. ,
, 0.
. ,

.
.
, , ,
[4].
4.2

1 (), 1.

[7,8,9,10]. ,
.


.
2.
( ) ,
( ) . 2 ()
.
.
,
. , ,
2 (),
.

, ,
. 2 (b)
,
, .
, .

. - ,
,
, ,
.
1.
2.
1 :
U, R, P, S, PA, UA, 0,
RHRR R,
, ,
roles : S 2 R 0 ,
roles( S i )

{r( rr)[(user( S i ),r)UA] ( ) S i

U RRoles ( S ) {p (r ,, r )([ p, r ,, )] PA }.
i

,
, ,
. ,
, ,
.

. 2 (b),
,
. ,

.
, ,
,

.
0 ,
2 (). ,
, 0.
0
,
. 0, ,
. ,
0 . 2 ()
0.
.
.

.

 3 ,
. 3 () 4 , 1, 2, 3 4,
, .
S . 3
4 , 3
S3. 1, , 3 ()
S3, 3, 4, 3, ,
S.
3 (). , S,
S3,3,4,3, , ,
S 3, ,T 3, ,T 4, , P3,
. ,
S 3, , T 3, , T 4, , P3, . 3 () ,

.
4.3.

2 ,
1 (b). , 1 2,
- .
, .
1 2 1 ().

, .
, ,
. ( )
, .
,
.

 .

.
,

. ,
( ),
,

.
, ,
, .
0
UA PA .

, / .

. ,
.
, .
.
3
2 0,
,
0.

,
.
. ,
, , . , , ,

 . ,
.

.
.

.
. ,

. ,
,
.

. UA ,
. PA
, .
, .

. ,

, ,
, ,
.
,
, . ,

, .
.

. ,

. , ,
,

, ,
? ?
,
,
. , ,
, .

.
.

.
, q. ,

, .
.
,

.
, .

--.
.
,
.

 ,
, . ,
, ,
.
,
. , ,
.
.
, , ,
. ,
, ,
, .
, 1 2.
,
.
.
, ,
.
4.4

3 1 2
, . ,
.
, RH
1 (b). .

(
) .
( ) .
,

 ,
.

. ,
2 (b).
.
,
. ,
.
. ,
.
2 (b)?
,
?
2 () ,
.
0, 0
. ,

,
.
.
.

0.
.
5.

. ,
.
,
, ,
? ,

.
.
,
. ISO ,
.
[11]. ISO
,
( , ). ISO
.
,
.

, [12].
,
,
.

[13], ,
, , .

,

.
4.
1 (b).
4 . 4

AR
R . ,

. .
4
0, 1, 2 3.
0, 1, 2 3,
. , ,
, . 0
3, 3
0.
,
4 , .
,
,
.

, ,
,
.
,

. ,
.
.
.
, ,
.

 .
.
,
.

, .
, 3 ().
3 (b)
(CSO),
SO1, SO2, SO3. , 3 ()
3 (b). CSO
3 (). SO1 1.
, , SO1
. SO1
1. , SO2 2. ,
SO3 , S3, T3, T4, P3. SO3,
, S3, 3.
,
,
. . ,
SO1 1,
CSO. , ,
, ,
.
. , - , SO3 S3 3, SO3
.
6.

,
.
.

, .
,
.
.

.
[8,9,14].
,
.
.
, .

.
.

, .

.

[1] , . , .
.
NIST-NCSC , . 107116, , , 20-23 1993.
[2] .
, 1994. 0.9,
[3] . .
, . ,
13 (8): 661-671, 1994.

[4] . .
, .
7, . 66-79, , -, 1994.
[5] . . , . IEEE
, 26(11):9-19, 1993.
[6] .
. VI:
, . . .. , . 91-111.
, 1993.
[7] . , .
15 NIST-NCSC
, . 554-563, , , 13-16 1992.
[8] M.. , .. , and T.. T.
-
ADAM. VIII: , . .
, . , . . , 1995.
[9] .
, . VIII:
, . . , . , . .
, 1995.
[10] .. .
.
, 13 (8): 673-680, 1994.
[11] ISO/IEC 10040.
.
[12] . . .
IEEE
, . 122-136, , , 1992.
[13] . . . .
II, . . K .

, . 595-606. Elsevier Science Publishers B.V.

( ), 1991.
[14] . , , . .
- .
VIII: , . . , .
, . . , 1995.

29
.

[. , . ; 1995]:
, ,
?
,
, , .
, .

, ,
( ) , ()
( )
.
(risk) ,

.
(ALE Annual
Loss Expectancy) ,

, .
(risk analysis), ( risk assesment)
,
.

[ , ; ,
, Norman Data Defense Systems, Inc.:
, . 35]:
.
,
, , , .

.

3 :
?
?
?

[ . . . .:, 1980]:
.


,
( )
().
, ,
,
.
(assets)

,
, , .

 (Annual Loss Expectancy)

,
.
,

, .

.
,

.

.
,
,
.
(risk management)

),
.

,
.
4 :


(safeguard selection)

.
. ,
, ..
.
(
)
. :
;
;
.

( , ) ,
.

1.
,
. , :

, , , .
:
: 0
, : 1
: 2
: 3
/ : 4
/ : 5
: 6
: 7

:
( ,

, ).

, (, ,
, , ).
,

( , , ,
).

( ,
, ).

: 2

: 3
,
: 4
,
: 5

0 1,

: 6
,

: 7

. , ,

, 7-0 = 7.
1, ,
, ,
. , 0.

( , ) ,
.

:
) ( ,
);
) ,
;
) (.. ,
):
2 :

1. ,
, ;
2. ,
;
) , ..
:
1. ;
2. ;
3. ;
4. ;
5. ;

6. ;
7. ;
) .

[. , . , .49]:

(). .
,
.
,
.
, .
:
;
;
,

. 36: ,
,
( ) . ,
,
,
, .

, ,
.
: .

[/ .. , .. , .. . .: ,
2000-431 .]

, .
,

: ,
,

.
,
.
,
( ,
),
( ).
.
, ,
,

5 (. 40)

(, , )

R =0

=0

R=0

=0

( Countermeasures Incarparated)

.
,
.
.

.
.

.
,

.
.

,
.
.

[. , . ; .39].
.

, , , .

, .
, ,
.
. ,

.
(
) ( ).

30
.
1

) ( ):
;
;
, , ;
) ;
(..
).
2

,
() .
, , .
.

31 .
1) :

,
, , , ,
..
()

.

.
.

,
, .

 ,
,
.
,

.
,
:

.
:

1. .. .
, .-., 1996, .2 (.27-46).
2. ..
, .1, .7 (.234-259).

:
;
;
;
;
;
;
;

 . .

,

, .
,
:
;
;
;
-;
.

(
).
:
( , ,

);
(

);
;
.

- ,
.

.
- ,
.

 , , ,
, , .

[ . . . . 42-44]:
( 21 1993 )
, :
;
(

, , );
() (

5 1992 );
, ,

.
,

, -, .

,
,
, .

32 . .

.
() .
.
.
:

: 1)

2) (i = 1, 2, ,n)
3) .
:
F(X) max I(X)=0;

 : F0=F+ j j max;
j

F
F
=0,
=0
x j
j

:
: .
-: .

: F max,

gradF = (

F
F
,,
) , x=
x
x
n
1

x+hgradF(x).

: .

 : xj=xi+i , i (-1; 1).

.
:
(1020)

:
xi =

xi ximin
ximax ximin

, (0 xi 1).

.
X G (), .. .

: y=F(x)+ (x),
(x)0; (x)=[max{0, (x)}]2r;
, .

 ; .
() .

. - :
) - :

) - . :

. :

. , -.: , 1967, 268 .

.. , -.: , 1970, 264 .
.
( , -
, -, 1986 .).( )
1971 .

 12-15 .
. [ , , ], 1984 .
=(
).
:
;
( ) .
: . 5000 .
360 (. ).
30 ( ).

.
1 300400 .
10000 34 . .
13% 1 ..
4 .. .

100 , - -
. + ( .
30 , 40-50 ).
100 = - .
2.
[ .., ..
. : , 1982, 64 .]

: R1, R2, R3, R4, C1, C2, C3,

() :
:

:
RiH Ri RiB
CiH Ci CiB
X=(x1, x2,
,xn) .
: xi
m , mn . 42=16 ,
F(x1,x2) x1, 12 , .

. -
( ) .

 ,
; .. .

:
Ai (I=1, 2, , N);
:
Ai {x1, x2, , xn} .
Fj
Ai

F1

F2

A1

F1(A1)

F2(A1)

A2

F1(A2)

F2(A2)

A3

F1(A3)

F2(A3)

An

F1(An)

F2(An)

(A1, A2, , An) .

: min F1 F1 max F1;
Min F2 F2 max F2.

: F1 F1* F2 F2*,
, ..
Ai.
:

 , A1.
Ai, , ,
:

,
A1. - ,
.
( N
).
5) ) -.

) F1 F2 :
rkl =

I kl I k I l

( I kl I k2 ) ( I kl I l2 )

, I k =

1 N
1 N
Fk ( Ai ) , I kl = Fk ( Ai ) Fl ( Ai )
N i =1
N i =1

rkl .
rkl 1, Fk Fl . .

;
;
;
;
.
:

;
()
(),

, . .
(, ,
, , )

1:
:
;
();
();
() ();
( /);
, :

 () :
(, ) ;
( );
. .)

.

.

.
.. : :
(
)
, ()

, .

 : < X; Y; S; F; X; J>
X
Y
S
F
X
J -
:

;
;
;
; . .
4 .
( ).
) ( max).
) ,
( min).
) , :

 ;
();
;

, ,
.
: (, ., ).
)
() : max * (
).
)
: min * ( ).
() ():

: * *
)

, 1904
: , 2 ,
(F1 min ,F2 min) .
, , :
F1(A)<=F2(B) F1(A)<=F2(B),

 j: Fj(A) <Fj(B)
,
. : ,
-

[], 17, 1997:
, , (30-40)%
.
, ,
:

F2 = =
F1 = = 1-
P{1;3;5;7} -
.
: .
: .
= , ()
:

 ()

= F(C

(
) , i = 1,,n Pi( = f(C i()
i

, i-
5

: i( = Pik(
k =1

i = 1,2,,5 () ,
Pik i- k- ,
:

i( =

ik( ,

k =1

i-

ik , k-

33 .
.
.

; ; .
.
() :

X G
:
.
:
( );
;
(
);
.
.
(Fi min).
: :
0,2 %;
100 0,001;
. 2 ;
2 .

: X G Fi(X) Fi*, i = 1, 2, , k.
:
Fi* ;

X,

 X .
,
:
: =

" "

" "
) :
W =

, ; ;

.
) :
Vk = Tk Fk log 2 (1 +

Pc
) , ; Fk .
P

) .. :

)/( ).
:
;

.
()

1904
.
=(X1,X2,,Xn) 2
X=(X1,X2,,Xn)
, , : Fj(X)>=Fj(X) j=1, 2, k;
j: Fj(X)>Fj(X).
X, X.

.
: F2

:
(
).
.
()
) () :
F =f(F1, F2, , Fk) max, F = f(F1, F2, , Fk) min.

()

:
k

cj

j =1

( F j ) max

F = j F j ; , j =
k

cj

=1

j =1

().
) .
) ():
: F1(X) .
: F1(X) max F2(X) F2;
Fk(X) Fk*.
:

) :
: F1, F2, , Fk .
: F1(X) max (F1)max = F1*.
: F2(X) max F1(X) F1* F1.
F1 F1 . .

:
-
?
.

34 .
.

,
(, )
() , , ,
.

:
;
( );
( );

);
;
.
:

;
;
;
.
[ . ., . . :
. .: , 1996. 271 .]:

: = + 2; : ,

:
1

0,3

0,2

0,1

0,5

0,4

0,2

0,05

0,05

0,05

0,05

0,05

0,05

0,05

0,05

0,05

0,05

0,05

0,05

1.
()
0,1 1.
:
1. ( ) ,
(1
; 2 ; ..).

x1

a11

a12

a13

a1n

x2

a21

a22

a23

a2n

xm

am1

am2

am3

amn

,
. j- :

1 n
S i = aij
n j =1

(j , i ).

Si, .
, ,
, :

m 2
12 d
i=1 i
K=
n Q

3
n 2 m 3 m n t q t q

j=1 q=1

: d i =S Si I
;
S=

1 m
S ;
m i =1 i

t q , i ;

Q .

: =1.
: =0.
2. ( )
( ).
.
, , .
3.
, Ei=(eikj),

: Z kj = eik .
i =1

R:

m
, : = kj
i =1

4. .
60- . . .
.
:
3. ;
4. ;
5. .
.
,
.
.
:

2>

12>

3>
Z:

4
R(kj):

: =

j =1

kj

1. (.)

19641965 (.)
1973 (.)
1974 (.)
1980 .
2. , . (Fuzzy sets)

(Fuzzy sets), , .
:
1. ()
2.
3.
4. (singleton)

5. = i /xi
6.
3. .

4. .

1.
2.
3.
4.
5.
5.
R:xy; R={(x,y),(x,y),xX,yY}

R1(x,y)=x y
Y

R2(x,y)=x y
10

10

X
4

15

0.9 0.1

0.6 0.1
1

0.6

:
R1U R2, R1R2
6.

0.1 0.4 0.9 0.1

0.5 0.8

15

0.1 0.6

{ (1)}

{(B1)}

{ (2)}

{(B2)}

{ (3)}
{ (4)}

{(B3)}
{ (B4)}

1. , .
2. , .
3. , .
4. , .
.

(. , )
(1973).
,
. ,

.

(.. ), , ,
, ,
.
, ,
. , ,
, , ()
.


, .
, ,

, .

(.);
( ).
:

1.

:
( 1) ( 1),
( 2) ( 2), ..
.
:

, ;

(..

).
2 19641965 . (L.Zadeh)
()

..

 .
.
: Fuzzy Logic, Fuzzy Sets, Fuzzy Algorithms.
Fuzzy .
3.

={(x,(x)),xX},
xX (x)[0,1].
:

:
)

, (, ).
:

={, , }
={

}
5

6. (U) .

U(x)=max{(x),(x)}

2 () .

3 () .

(x)=1(x)
4 (CON(A))
.
CON(A)(x) = 2(x)

5 (DIL(A)) ,
.

(),

.
:

1: (1) , (1)
.

() : 1()|=18=min{0,2;1()}.
2: (2), (2)
.

 () :
2()|=18=min{0,5;2()}.
:

()0=70%
1 2:
=max{1()|=18; 2()|=18} MAXMIN.
. .

1()|=18=0,2*1()

.
()
()0,
.
:
1. ( Center of Area) .

(y), .. y0=[y y(y)dy]/[y (y)dy].
2. ,
.
3. ( )
(y) ( ); ..
:
. . , . 1, . 9498.

1. . ., . .
, , , 1995.
9 :

Intelligent (fuzzy): Control + Decision making.

( )
.
10 , :

,
;

,
.
8 .

, (. . ) .


(Decision table):
Z

VL

VL

VL

VL

VL

VL

VL

LN

SN

SP

LP

X
X (X)
7

. MAX MIN.

( , ,
),
( )
.
:
)

, ,
, . .
) :
,


.
) (
):

, ,
, .
, , :

, ;
, ;
;
.

, ,
(, , ).
:
:

 :
, ;
, ;
;
.
().
, 1:


.
:

1:

 () :
B1(f)|Q=2*10-4=min{0.8; B1(f) }.

2:

:
B2(f)|Q=2*10-4=min{0.2; B2(f) }.
1 2:
B1U2(f)|Q=2*10-4=max {B1(f) |Q=2*10-4; B2(f) |Q=2*10-4} MAX
MIN.

 :
(f)f df (f i )f i f i
F =
;
=

(f i )f i
(f)df
:

;
( MAX MIN);
.

: (Artificial Neural Network);

; ; ; .
:
40 ;
1943 ;
1958 (. );
1969 . , ( );
1988 ().
:

(, , , ,
, . .).

;

() ( ).

4 () .

() :

;
;

.
:

Y=
Y=
1+ e

1
a Y0

Y0
C + Y0

Y = thY0

( ):
(w ij ) k = (w ij ) k 1 = c(

E
)
w ij k 1

5 ( ):

wk = c gradE ,

E = = (d i yi ) 2
i =1

i =1

.
:
1. wij(k) (
);
2. X = (x1, x2, , xm);
3. Y = (y1, y2, , yn);

4. i = d i y , di
i ;
5.
(w ij ) k = (w ij ) k 1 = c(

E
)
w ij k 1

( Wij(N-1),
Wij(N-2), , Wij(1)).
6) X = (x1, x2, , xm);
, E
, .

.
:
1. (, );
2.
:

;
;
;
;
3. ( .).

 .
[ PC Week, 10 1997, # 22, . 46-47]:

XXI .
,
,
.

() .
, ,
.
, ,
, .
,
.
,
, ,
( ),

.
(, battlespace),
.
, ,
- ,
, . ,
, .

,
.
3- :

 ;
;
/
.
?
4 :
1. ,

,
,
.
2. .
3. ,
.
4. - ,
.

,

.

(ABIS, Advanced
Battlespace Information System).

(Internet )
,
.
,

.
, .

 . ,
,

.

[2]: 2. " " :

,

?
( ):
"
, : ,
, ; , ,
.. , - , .
, -
..."

[2]: ,
:
" ,



.
,
,
.
,
,
.

 ( ,
),
, ".
,
,
, , ""
, ( )
.
, .

[2]: : "
?" ", ".

[2]: ,

, ,

, , .
" ,
, ",
" ,
, , ".

[1]:

.

,

.

[1]: ,
1993
1994 , :
,
. ,

.
,
.

[2]:

.

.


(Cyber Security Assurance Group),
,
.

.
:

1. . ., . ., . .
// . , - 1996, 4(10).- .
9-12.

2. . . ?//
. , - 1996, 4(10).- . 13-20.
3. . . // .
, - 1996, 4(10).- . 21-24.
4. . // . Connect,
-1996.- . 30-34.

[PC Week/RE, 15 1997, # 27, c. 8]:

, .
1996 ,
, , 2 (
) .

[4]: 3. ,
,
.

, ;

.
,
.
:

, , ,
;

 ,
;

,
;

;
,
.
,

, .
,
, - .
:
( ,

);

);
;
.

[, 2 1997 , # 22, . 8-9]:

,
3 ,
.
(Armys
Experimental Force) 750 . ,
.

 . .
1 .
, 6
900 , 1997.

(),

,
,
. ,
, ,
,
.
:

, .


[ .., .1, .45]

(),
, .

,
;

.

.

,

:
, ,
,
, :

 ;
, .

,
(=) ,
(R=).

IBM

Ri i :

Ri = 10 ( S +V 4 ) ,
i

: Si ,
i ;
Vi ,
.
( Si Vi )
:

R = R
i i
: .

[ .., .1, .136]

Si:
()

Si

1 1000

1 100

1 100

1 (10 )

2 (100 )

3 (1000 )

Vi:

Vi

(.)
1

10

100

1000

10000

100000

1000000

10000000