Security:Strawman Model: Difference between revisions

No edit summary
Line 102: Line 102:
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(), new Document()).
Let open(s) = new Window(urlString(s), urlPrincipal(s), global()).


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