Программно-аппаратные средства обеспечения информационной безопасности - 46 стр.

                             46


ществует). С другой стороны, такие потоки могут появиться при
изменении ассоциированных объектов, принадлежащих другим
субъектам КС (изменятся свойства субъекта, в том числе и воз-
можно по порождению потоков к МБО). Условие корректности
субъектов относительно друг друга делает это невозможным по
определению абсолютной корректности. Это, в свою очередь, оз-
начает, что МБО реализует только потоки из подмножества L.
Утверждение доказано.
     Определение 10. Монитор порождения субъектов (МПС) –
субъект, активизирующийся при любом порождении субъектов.
     По аналогии с переходом от МО к МБО введем понятие мо-
нитора безопасности субъектов.
     Определение 11. Монитор безопасности субъектов (МБС) –
субъект, который разрешает порождение субъектов только для
фиксированного подмножества пар активизирующих субъектов и
порождающих объектов.
     Воздействие МБС выделяет во всем множестве субъектов S
подмножество разрешенных Е.