Политика enter

Переводит состояние домена безопасности в состояние, указанное в конфигурации политики, если такой переход разрешен в конфигурации этого экземпляра семейства.

Тип: call-политика.

Синтаксис

enter <configuration> (in SID sid)

Параметры

sid	SID домена безопасности, ассоциированный с конечным автоматом.

Конфигурация политики

<configuration> ::= <state>

Элементы конфигурации

<state>

Имя состояния, в которое необходимо перейти.

Возвращаемое значение

KSS_GRANT, если переход в указанное состояние осуществлен.

KSS_DENY в следующих случаях:

• переход в указанное состояние не осуществлен;
• для указанного SID не инициализирован конечный автомат;
• указанный SID домена некорректен.

Пример

...

policy service_start = service_flow.enter started;

policy service_stop = service_flow.enter stopped;

policy service_finish = service_flow.enter finished;

entity service {

security call start [self] = service_start(self);

security call stop [self] = service_stop(self);

security call finish [self] = service_finish(self);

}

В начало