The entity
statement is intended for performing the following actions:
Syntax
<entity-entry>
::= "entity" <entity-name> "{" <entity-body> "}"
| "entity" <entity-name> ";"
<entity-body> ::= [<active-audit-entry>]
{<rule>}
<rule> ::= <policy-binding>
| <match-for-entity>
<policy-binding> ::= <execute-policy-binding>
| <instance-policy-binding>
| <iface-method-policy-binding>
| <security-policy-binding>
<match-for-entity>
::= <match-operation> <entity-side> [<match-attrs>] "{"
<match-body>
"}"
<entity-side> ::= <call-side> "=" <entity-self>
Elements
|
Unique identifier of the entity (EID). This must match the name of the entity in the EDL file. |
|
Body of the statement containing entity configuration rules. |
|
Statement for binding an event involving an entity to security policies. |
|
The |
|
The |
|
The |
|
The |
Example
entity core {
execute call main = grant;
execute call foo = deny;
// Security-interface call event handlers.
security call a_restart = fl0_restart, fl1_restart;
security call a_enter_process0 = fl0_enter_process;
security call a_base =
choice ( fl0_state ) {
"init" : grant;
"process": deny;
_ : deny;
};
receive in core.xchange.x1 = grant
}