Security:Strawman Model: Difference between revisions

Jump to navigation Jump to search
no edit summary
No edit summary
No edit summary
Line 1: Line 1:
Types:
Types:
<pre>
<pre>
Principal  = (System, Origin, Null)     // disjoint type union
Principal  = (System, Origin, Unknown) // disjoint type union
System    = {system}                  // system principal singleton
System    = {system}                  // system principal singleton
Origin    = {origin1, ... originN}    // set of N origin principals
Origin    = {origin1, ... originN}    // set of N origin principals
Confirmed users, Bureaucrats and Sysops emeriti
419

edits

Navigation menu