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

UptoLike

ВУЗ: 

МИРЭА | Москва

Составители: 

Рубрика: 

55
Тогда в момент времени k+1 могут быть порождены только
тождественные субъекты, поскольку тождественны активизи-
рующие субъекты (по предположению индукции) и по условию
утверждения неизменны элементы множества O
Z
.
Длина l последовательности Z
L
определяется:
1. По признаку невозможности управления субъектами,
принадлежащими множеству Sz, со стороны пользователя (в про-
тивном случае последовательность активизации субъектов может
быть изменена).
2. По признаку доступности для контроля неизменности
всех объектов из множества O
Z
.
3. По признаку невозрастания уровня представления ин-
формации (в данном случае имеется в виду, что существует мо-
мент времени tx такой, что для любого t>tx объект-аргумент O
j
операции Create(Si,Oj) принадлежит одному уровню представ-
ления).
Необходимо заметить, что последовательность Z
L
локализует-
ся в некотором объекте либо совокупности объектов (например,
для DOS последовательность активизации субъектов предопреде-
лена содержанием файлов AUTOEXEC.BAT и CONFIG.SYS) и не-
изменность последовательности Z
L
тождественна неизменности
указанных объектов, для ОС Windows NT последовательность ак-
тивизации компонент определена содержанием соответствующих
ключей реестра (registry).
Пусть в последовательности Z
L
можно выделить z
i
такое,
что для любого z
k
при k>i отображения Create и Stream исполь-
зуют только объекты уровня R. Другими словами, с момента
времени i наступает стационарная фаза функционирования КС.
В этих условиях, а также при попарной корректности субъ-
ектов и действии МБС с контролем неизменности объектов-
источников на уровне R с момента времени m>k верно:
Утверждение 4 (достаточное условие ИПС при ступен-
чатой
загрузке).
При условии неизменности Z
L
и неизменности объектов из
O
Z
в КС с момента времени установления неизменности Z
L
и O
Z
действует ИПС. Доказательство не приводим.
Утверждение 5 (требования к субъектному наполнению
ИПС). 
                              55


     Тогда в момент времени k+1 могут быть порождены только
тождественные субъекты, поскольку тождественны активизи-
рующие субъекты (по предположению индукции) и по условию
утверждения неизменны элементы множества OZ.
     Длина l последовательности ZL определяется:
     1. По признаку невозможности управления субъектами,
принадлежащими множеству Sz, со стороны пользователя (в про-
тивном случае последовательность активизации субъектов может
быть изменена).
     2. По признаку доступности для контроля неизменности
всех объектов из множества OZ.
     3. По признаку невозрастания уровня представления ин-
формации (в данном случае имеется в виду, что существует мо-
мент времени tx такой, что для любого t>tx объект-аргумент Oj
операции Create(Si,Oj) принадлежит одному уровню представ-
ления).
     Необходимо заметить, что последовательность ZL локализует-
ся в некотором объекте либо совокупности объектов (например,
для DOS последовательность активизации субъектов предопреде-
лена содержанием файлов AUTOEXEC.BAT и CONFIG.SYS) и не-
изменность последовательности ZL тождественна неизменности
указанных объектов, для ОС Windows NT последовательность ак-
тивизации компонент определена содержанием соответствующих
ключей реестра (registry).
     Пусть в последовательности ZL можно выделить zi такое,
что для любого zk при k>i отображения Create и Stream исполь-
зуют только объекты уровня R. Другими словами, с момента
времени i наступает стационарная фаза функционирования КС.
     В этих условиях, а также при попарной корректности субъ-
ектов и действии МБС с контролем неизменности объектов-
источников на уровне R с момента времени m>k верно:
     Утверждение 4 (достаточное условие ИПС при ступен-
чатой загрузке).
     При условии неизменности ZL и неизменности объектов из
OZ в КС с момента времени установления неизменности ZL и OZ
действует ИПС. Доказательство не приводим.
     Утверждение 5 (требования к субъектному наполнению
ИПС).

Страницы