16 lines
417 B
Plaintext
16 lines
417 B
Plaintext
[request_definition]
|
|
r = sub, dom, obj, act
|
|
|
|
[policy_definition]
|
|
p = sub, dom, obj, act
|
|
|
|
[role_definition]
|
|
g = _, _, _, (_, _)
|
|
|
|
[policy_effect]
|
|
e = some(where (p.eft == allow))
|
|
|
|
[matchers]
|
|
m = g(r.sub, p.sub, r.dom) && r.dom == p.dom && r.obj == p.obj && \
|
|
(keyMatch(r.act, p.act) || keyMatch2(r.act, p.act) || keyMatch3(r.act, p.act) || keyMatch4(r.act, p.act) || keyMatch5(r.act, p.act) || globMatch(r.act, p.act))
|