ls3-www.cs.tu-dortmund.de/cms/medien/publikationen/sacmat2003.pdf
Cooperative Role-Based Administration
following predicate.
Definition 2 (unit relation) The binary predicate
unitin(u1, u2)
holds iff u1, u2 ∈ UT and u1 < u2 according to the unit hierarchy or if u1 and u2 are identical.
As authorization spheres [...] of object (tuples) according to act is added.
Examples for O := {•, ◦,⊕, ,, u1, u2, . . . ul}, for L := {2x = x + x, 2x− y, 0, •+ ◦} for FS = {x 6= y, x < y < z, x = y, UNTIL5, AFTER7, x ∈M}
Definition [...] lists, requires prior specific permission and/or a fee. SACMAT’03,June, 2-3, 2003, Como, Italy Copyright 2003 ACM 1-58113-350-2/01/0005 ...$5.00.
Keywords modularity, composability, Petri-Nets, work-flow …