Confirmed users, Bureaucrats and Sysops emeriti
419
edits
Security:Strawman Model: Difference between revisions
→Functions
| Line 111: | Line 111: | ||
Let principal(x) = (x is Window) ? x.principal : principal(x.parent). | Let principal(x) = (x is Window) ? x.principal : principal(x.parent). | ||
Let canAccess(o, r) = | Let canAccess(o, r) = allAccess(o, r) || | ||
: principal(o) <= (stack[0].principal ^ ... ^ stack.top().principal). | : principal(o) <= (stack[0].principal ^ ... ^ stack.top().principal). | ||