Security:Strawman Model: Difference between revisions

Jump to navigation Jump to search
Line 104: Line 104:
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()).load(s).
Let open(s) = load(new Window(urlString(s), urlPrincipal(s), global()), 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