ls3-www.cs.tu-dortmund.de/cms/medien/publikationen/sacmat2004.pdf
host h is l.
Definition 4 (related locations) The binary predicate locationin(l1, l2) holds iff l1, l2 ∈ LT , and l1 <L l2 according to the relation defined over locations.
In our modular access control system [...] hierarchy
Definition 11 (security relation) The binary predicate more secure(sl1, sl2) holds iff sl1, sl2 ∈ SLT , and s1 >SL sl2 according to the relation defined over security levels.
We assume that most hosts [...] be hosts with trust level “privacy”.
channel level(HR, h1, h2, secured)← channel(h1, h2, ch)
&host level(net, h1, privacy)
&host level(net, h2, privacy)
&authentication(ch, ac)
&more− secure(ac, 1024bit− …