Учебно-методический комплекс теоретические основы компьютерной безопасности

S ⊆ O;

• 
  матрицей доступа A, каждая ячейка которой специфицирует права доступа к объектам из конечного набора прав доступа R (r₁, r₂,
  

…, r_K ), т. е. A[s,o] ⊆ R;

• 
  множеством (конечным набором) типов безопасности T
  

(t₁, t₂,…, t_L ), с одним из которых создается любой объект (включая субъекты). Тип объекта впоследствии не меняется (т. н. сильная организация типов). Таким образом, в системе задана функция f_t : O→T, ставящая в соответствие каждому объекту некоторый тип.

2. 
   Вводятся примитивные операторы, изменяющие состояние матрицы доступа с учетом типизации объектов (объектов и субъектов доступа):
   
   • 
     Enter r into A[s,o] – ввести право r в ячейку A[s,o];
     
   • 
     Delete r from A[s,o] – удалить право r из ячейки A[s,o];
     
   • 
     Create subject s of type t– создать субъект s типа t;
     
   • 
     Create object o of type t – создать объект o типа t; - Destroy subject s – уничтожить субъект s; - Destroy object o – уничтожить объект o.
     

В результате выполнения примитивного оператора осуществляется переход КС из состояния Q = (S, O, A) в новое состояние Q'= (S', O', A'). В табл. 2.2 приведены условия и особенности изменения состояния системы под воздействием примитивных операторов с учетом типизации объектов.

3. 
   Состояния системы так же, как и в модели HRU, изменяются под воздействием запросов на модификацию матрицы доступа в виде команд, формат которых с учетом типизованного характера объектов системы имеет следующий вид: