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

                                48


     Определение 13. Операция порождения субъекта Create (Sk,
Om)-> Si называется порождением с контролем неизменности
объекта, если для любого момента времени t>t0, в который акти-
визирована операция порождения Create, порождение субъекта Si
возможно только при тождественности объектов Om[t0] и Om[t].
     Следствие. В условиях определения 13 порожденные субъ-
екты Si[t1] и Si[t2] тождественны, если t1>t0 t2>t0. При t1= t2 по-
рождается один и тот же субъект.
     При порождении субъектов с контролем неизменности объ-
екта в КС допустимы потоки от субъектов к объектам-
источникам, участвующим в порождении субъектов, с изменени-
ем их состояния.
     Утверждение 2 (базовая теорема ИПС).
     Если в момент времени t0 в изолированной КС действует
только порождение субъектов с контролем неизменности объекта
и существуют потоки от любого субъекта к любому объекту, не
противоречащие условию корректности субъектов, то в любой
момент времени t>t0 КС также остается изолированной (абсо-
лютно изолированной).
     Доказательство.
     По условию утверждения в КС возможно существование
потоков, изменяющих состояние объектов, не ассоциированных в
этот момент времени с каким-либо субъектом. Если объект с из-
мененным состоянием не является источником для порождения
субъекта, то множество субъектов изолированной среды нерас-
ширяемо, в противном случае (измененный объект является ис-
точником для порождения субъекта) по условиям утверждения
(порождение субъекта с контролем) порождение субъекта невоз-
можно. Следовательно, мощность множества субъектов не может
превышать той, которая была зафиксирована до изменения со-
стояния любого объекта. По следствию из определения 13 (о
замкнутости множества субъектов в ИПС с невозрастанием мощ-
ности множества субъектов) получим, что множество субъектов
КС изолировано. Утверждение доказано.
     Можно сформулировать методологию проектирования га-
рантированно защищенных КС. Сущность данной методологии
состоит в том, что при проектировании защитных механизмов КС
необходимо опираться на совокупность приведенных выше в ут-