. . , , . . , , .
, . , , . , . ( ) .
, , . , " " .
, , . :
;
;
.
.
. , , , , . , , . , , , . . , , . , , .
. , , . ( ), , .
|
|
. " - " . , , - . , . , , , .
. . , , .
, , , , .
:
;
, ;
.
. , , .
, , , .. . , , - , , , , , . , .. . , , "" ( ) .
, , , , , , .
, , ,
|
|
Q {S} R,
: " S Q, R". Q , R-. .. (1967 .), .. . (1969 .) (. ., 1970 .). . .
" " - , .
, :
;
, ;
;
, .. .
. :
, , , ;
;
- .
() Q{S}R, . . , ( ). , .
4.3. ()
" " (trusted computing base-) . "" .
"" ( , , , , ) " " , , , . "" , , ( ), , , , , , , .
() , . , , , , .
, , :
;
|
|
;
-;
.
.
. , , , . , , , - , . , , , , , .
( ) , . , . :
;
;
;
.
, , , , .