Курс лекций Защита Информации/Субъектно-объектная модель: различия между версиями

Содержимое удалено Содержимое добавлено
Нет описания правки
Строка 53:
* содержательный — субъект, функционирующий таким образом, что при возникновении потока от ассоцированного объекта <math>O_m</math> любого субъекта <math>S_i</math> и <math>O_j</math> и обратно, существует ассоцированный с монитором обращений объект <math>O'</math>, тождественный <math>O_m</math>.
 
== Аксиома 1Аксиомы ==
 
{{Курс лекций Защита Информации../Аксиома|{{Курс лекций Защита Информации/Акцент в аксиоме|Аксиома 1}}<br />В защищенной автоматизированной системе всегда присутствует активная часть компонента субъекта выполняющая контроль операций субъектов над объектами. Данная компонента фактически отвечает за реализацию некоторой политики безопасности.}}
 
{{../Аксиома|{{Курс лекций Защита Информации/Акцент в аксиоме|Аксиома 2}}<br />Для выполнения в защищенной автоматизированной системе оперций над объектами необходима дополнительная информация (и наличие содержащего ее объекта) о разрешенных и запрещенных оперцациях субъектов над объектами.}}
== Аксиома 2 ==
 
{{../Аксиома|{{Курс лекций Защита Информации/Акцент в аксиоме|Аксиома 3}}<br />Все вопросы безопасности информации описываются доступами субъектов к объектам.}}
Для выполнения в защищенной автоматизированной системе оперций над объектами необходима дополнительная информация (и наличие содержащего ее объекта) о разрешенных и запрещенных оперцациях субъектов над объектами.
 
{{../Аксиома|{{Курс лекций Защита Информации/Акцент в аксиоме|Аксиома 13}<br />Субъекты в автоматизированной системе могут быть порождены только от активной компонентной (субъектами) из объектов.}}
== Аксиома 3 ==
 
Все вопросы безопасности информации описываются доступами субъектов к объектам.
 
== Аксиома 4 ==
 
Субъекты в автоматизированной системе могут быть порождены только от активной компонентной (субъектами) из объектов.