Confirmed users, Bureaucrats and Sysops emeriti
419
edits
Security:Strawman Model: Difference between revisions
Jump to navigation
Jump to search
→Types
(→Types) |
|||
| Line 1: | Line 1: | ||
=== Types === | === Types === | ||
<pre> | <pre> | ||
Principal = (System, Origins, Unknown) // disjoint type union | Principal = (System, Origins, Unknown) // disjoint type union | ||
System = {system} | System = {system} // system principal singleton | ||
Origin = {origin1, ..., originN} | Origin = {origin1, ..., originN} // set of N origin principals | ||
Origins = powerset(Origin) - {} | Origins = powerset(Origin) - {} | ||
Unknown = {unknown} | Unknown = {unknown} // unknown principal singleton | ||
Request = {get, set, call} | Request = {get, set, call} // principal requests of objects | ||
Stack = array [Activation] | Stack = array [Activation] // array of activation objects | ||
Activation = record {global:Window, | Activation = record {global:Window, | ||
subject:Principal} | subject:Principal} | ||
Object = record {parent:Object} | Object = record {parent:Object} // record with parent field | ||
Window = record {parent:Object, | Window = record {parent:Object = null, | ||
location:String, | location:String, | ||
principal:Principal, | principal:Principal, | ||