Confirmed users, Bureaucrats and Sysops emeriti
419
edits
Security:Strawman Model: Difference between revisions
Jump to navigation
Jump to search
→Functions
| Line 59: | Line 59: | ||
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) = (principal(o) <= (stack[0] ^ ... ^ stack.top())). | Let canAccess(o, r) = (allAccess(o, r) || principal(o) <= (stack[0] ^ ... ^ stack.top())). | ||
=== Grammar === | === Grammar === | ||