Экземпляр семейства te

Каждый экземпляр семейства te реализует модель управления доступом на основе матрицы полномочий и матрицы наследования, заданных в терминах концепции Type Enforcement. Эти матрицы задаются в конфигурации экземпляра семейства te.

Конфигурация экземпляра семейства

<family-configuration> ::= "{"

<permissions> ","

<types> ","

<images> ","

<allows> ","

<transitions>

"}"

<types> ::= "types" ":" "[" <type> {"," <type>} "]"

<permissions>::= "permissions" ":" "[" <permission>
{"," <permission>} "]"

<images> ::= "images" ":" "[" <image> {"," <image>} "]"

<allows> ::= "allows" ":" "[" <allow> {"," <allow>} "]"

<allow> ::= "{" <source> ":" "{"
<target> ":" <source-permissions> "}"

<source ::= <type>

<target> ::= <type>

<source-permissions> ::= "[ ]" | "[" <permission>
{"," <permission>} "]"

<transitions>::= "transitions" ":" "[" <transition>
{"," <transition>} "]"

<transition> ::= "{" <ancestor> ":" "{"

<child-image> ":" <descendants>

"}"

<ancestor> ::= <type> | "*"

<child-image> ::= <image> | "*"

<descendants> ::= "[ ]" | "[" <descendant> {"," <descendants>} "]"

<descendant> ::= <type> | "*"

Элементы конфигурации экземпляра семейства

<permissions>	Список возможных полномочий.
<types>	Список возможных типов.
<images>	Список возможных прообразов.
<allows>	Матрица полномочий.
<source>	Тип субъекта, который обращается к объекту.
<target>	Тип объекта, к которому обращаются.
<source-permissions>	Массив полномочий субъекта на указанный объект. Может быть пустым.
<transitions>	Матрица наследования.
<transition>	Правило наследования типов.
<ancestor>	Тип родителя. Должен быть указан в types. Специальный символ "*" соответствует любому из типов, перечисленных в types.
<child-image>	Прообраз наследника для указанного типа родителя. Специальный символ "*" соответствует любому из прообразов, перечисленных в images.
<descendants>	Массив типов потомка для указанного прообраза и типа родителя. Может быть пустым.
<descendant>	Возможный тип потомка. Если указывается специальный символ "*", то в качестве значения используется тип родителя (элемент <ancestor>).

В начало