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

UptoLike

ВУЗ: 

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

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

Рубрика: 

54
в стационарной фазе в режиме ИПС (возможно, с контролем не-
изменности объектов-источников).
Введем понятие последовательности активизации компо-
нент КС. Смысл вводимых понятий и формулируемых ниже ут-
верждений состоит в необходимости приведения субъектов КС в
одно и то же состояние после активизации первичного субъекта
аппаратно-программного уровня или, иначе говоря, в
задании
предопределенной последовательности активизации субъектов
КС.
Обозначим: ZL – последовательность пар (i,j)t (t=0,1,2,…,l-1 –
моменты времени) длины l, такие, что Create(Si,Oj)[t]->Sm[t+l].
Обозначим также:
Sz – множество всех субъектов, включенных в последова-
тельность Z
L
;
O
Z
– множество всех объектов, включенных в последова-
тельность Z
L
.
Для многопотоковых КС можно рассматривать несколько
(возможно, независимых друг от друга) последовательностей Z
L
и
соответственно множеств Sz и O
Z
.
Определение 14. Состоянием КС в момент времени t назы-
вается упорядоченная совокупность состояний субъектов.
Напомним, что каждый объект есть слово в априорно опре-
деленном языке, а понятие состояния субъекта сформулировано
выше.
Утверждение 3 (условие одинакового состояния КС).
Состояние КС в моменты времени tx1 и tx2 (tx1 и tx2 исчис-
ляются для двух отрезков активности КС от
нулевого момента
активизации КС to1 и to2 – например, включения питания аппа-
ратной части) одинаково, если:
1) tx1=tx2;
2) тождественны субъекты Si[to1] и Si[to2];
3) неизменны все объекты из множества O
Z
;
4) неизменна последовательность Z
L
.
Доказательство по принципу математической индукции.
Верность утверждения при t=1 следует из определения тож-
дественности субъектов.
Пусть утверждение верно для t=k<1. 
                                54


в стационарной фазе в режиме ИПС (возможно, с контролем не-
изменности объектов-источников).
     Введем понятие последовательности активизации компо-
нент КС. Смысл вводимых понятий и формулируемых ниже ут-
верждений состоит в необходимости приведения субъектов КС в
одно и то же состояние после активизации первичного субъекта
аппаратно-программного уровня или, иначе говоря, в задании
предопределенной последовательности активизации субъектов
КС.
     Обозначим: ZL – последовательность пар (i,j)t (t=0,1,2,…,l-1 –
моменты времени) длины l, такие, что Create(Si,Oj)[t]->Sm[t+l].
     Обозначим также:
     Sz – множество всех субъектов, включенных в последова-
тельность ZL;
     OZ – множество всех объектов, включенных в последова-
тельность ZL.
     Для многопотоковых КС можно рассматривать несколько
(возможно, независимых друг от друга) последовательностей ZLи
соответственно множеств Sz и OZ.
     Определение 14. Состоянием КС в момент времени t назы-
вается упорядоченная совокупность состояний субъектов.
     Напомним, что каждый объект есть слово в априорно опре-
деленном языке, а понятие состояния субъекта сформулировано
выше.
     Утверждение 3 (условие одинакового состояния КС).
     Состояние КС в моменты времени tx1 и tx2 (tx1 и tx2 исчис-
ляются для двух отрезков активности КС от нулевого момента
активизации КС to1 и to2 – например, включения питания аппа-
ратной части) одинаково, если:
     1) tx1=tx2;
     2) тождественны субъекты Si[to1] и Si[to2];
     3) неизменны все объекты из множества OZ;
     4) неизменна последовательность ZL.
     Доказательство по принципу математической индукции.
     Верность утверждения при t=1 следует из определения тож-
дественности субъектов.
     Пусть утверждение верно для t=k<1.

Страницы