What does a trust statement look like?
A SULTAN trust statement looks like: TrustPolicyName : trust ( Tr, Te, As, L ) ← Cs; Tr trusts/distrusts Te to perform As at trust/distrust level L if constraint(s) Cs is true. where TrustPolicyName The unique name for the assertion. Tr The trustor. The entity that is trusting. Te The trustee. The entity is trusted. As – The action set. A colon-delimited list of actions (function names) or action prohibitions. The first parameter in an action name specifies where the entity the action is performed on. L The level of trust/distrust. L can be an integer or a label. Labels are converted to integers for analysis and management. For integer values of L, 100 <= L < 0 represents distrust assertions and 0 < L <= 100 represents trust assertions. Cs The constraint set. A set of delimited constraints that must be satisfied for the trust relationship to be established. The delimiters are the logical and (&) and logical or (|). Cs must evaluate to true or false.
