Confirmed users, Bureaucrats and Sysops emeriti
419
edits
Security:Strawman Model: Difference between revisions
→Types
(→Types) |
|||
| Line 6: | Line 6: | ||
Origins = powerset(Origin) - {} | Origins = powerset(Origin) - {} | ||
Unknown = {unknown} // unknown principal singleton | Unknown = {unknown} // unknown principal singleton | ||
Request = {get, set, call} // principal requests of objects | |||
Stack = array [Activation] // array of activation objects | Stack = array [Activation] // array of activation objects | ||
Activation = record {global:Window, | Activation = record {global:Window, | ||