next up previous
Next: Program Based Roles with Up: Specification Previous: Role Compatibility

Type Compatibility

Accesses by processes performing a current role to objects of certain types are controlled through the Type Compatibility settings. A process with current role r may access objects of type t with accesses of access type (request type) a, if role r is marked as Type Compatible with type t for access type a.

\mathrm{getaccess}_{tn}(\mathrm{p,o,a}) \Rightarrow\
\end{displaymath} (16)

Type compatibility sets are kept separately for the different RSBAC target types.

Amon Ott