Ñ - Sfu-kras
Ñ - Sfu-kras
Ñ - Sfu-kras
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Модель Гогена-Мезигера<br />
(Goguen-Meseguer),<br />
представленная ими в 1982 году, основана на теории<br />
автоматов. Согласно ей система может при каждом<br />
действии<br />
переходить<br />
из<br />
одного<br />
разрешенного<br />
состояния только в несколько других. Субъекты и<br />
объекты в данной модели защиты разбиваются на<br />
группы – домены, и переход системы из одного<br />
состояния в другое выполняется<br />
только<br />
в<br />
соответствии с так<br />
называемой таблицей<br />
разрешений, в которой указано какие операции<br />
может выполнять субъект, скажем, из домена C над<br />
объектом из домена D. В данной модели при<br />
75