Security:Strawman Model: Difference between revisions

Jump to navigation Jump to search
Line 108: Line 108:
Let urlPrincipal(s) = pseudo(s) ? subject() : origin(s).
Let urlPrincipal(s) = pseudo(s) ? subject() : origin(s).


Let open(s) = new Window(urlString(s), urlPrincipal(s), global()).
Let open(s) = new Window(urlString(s), urlPrincipal(s), global()).load(s).


Let principal(x) = (x is Window) ? x.principal : principal(x.parent).
Let principal(x) = (x is Window) ? x.principal : principal(x.parent).
Confirmed users, Bureaucrats and Sysops emeriti
419

edits

Navigation menu