ls3-www.cs.tu-dortmund.de/cms/medien/publikationen/tr-modautho.pdf
Modular Authorization
rized/prohibited.
Derivation rules are used to link a file access to other access rights.
Definition 9 (derivation rule) A derivation rule has the form
dercando(as, s, o, 〈sign〉a)← L1&..&Ln
where as is the [...] −r)& ¬cando(comp, s, o,+r) &attrib(o, secure, secret)
University of Dortmund Lehrstuhl Informatik 3
9 technical report November, 2000
Wedde, Lischka Modular Authorization
do(company, s, o,+r)← ¬cando(comp …