Security:Strawman Model: Difference between revisions

Security:Strawman Model (view source)

Revision as of 21:58, 2 August 2006

No change in size , 2 August 2006

no edit summary

Brendan

Confirmed users, Bureaucrats and Sysops emeriti

419

edits

@@ Line 41: / Line 41: @@
                       document:Object}
 </pre>
+=== Grammar ===
+Informal subset EBNF grammar for an XHTML-subset markup language, with embedded <i>semantics</i>, capitalized non-terminals, and quoted or lowercase terminals.
+  Document ::=                          <i>document = new Document()</i>
+               Content                  <i>document.close()</i>
+  Content  ::= (Text | Markup)*
+  Text     ::= text                     <i>document.appendChild(new Text(text))</i>
+  Markup   ::= < 'a' 'href' '=' string '>' text '</' 'a' '>'
+                                        <i>document.appendChild(new Link(string, text))</i>
+             | < 'button' 'onclick' '=' string > text </ 'button' >
+                                        <i>document.appendChild(new Button(string, text))</i>
+             | < 'iframe' 'src' '=' string />
+                                        <i>document.appendChild(new IFrame(string))</i>
+             | < 'script' > text </ 'script' >
+                                        <i>document.appendChild(new Script(text))
+                                        eval(text)</i>
 === Definitions ===
@@ Line 88: / Line 109: @@
 Let canAccess(o, r) = allAccess(o, r) || principal(o) <= mapMeet(stack).
-=== Grammar ===
-Informal subset EBNF grammar for an XHTML-subset markup language, with embedded <i>semantics</i>, capitalized non-terminals, and quoted or lowercase terminals.
-  Document ::=                          <i>document = new Document()</i>
-               Content                  <i>document.close()</i>
-  Content  ::= (Text | Markup)*
-  Text     ::= text                     <i>document.appendChild(new Text(text))</i>
-  Markup   ::= < 'a' 'href' '=' string '>' text '</' 'a' '>'
-                                        <i>document.appendChild(new Link(string, text))</i>
-             | < 'button' 'onclick' '=' string > text </ 'button' >
-                                        <i>document.appendChild(new Button(string, text))</i>
-             | < 'iframe' 'src' '=' string />
-                                        <i>document.appendChild(new IFrame(string))</i>
-             | < 'script' > text </ 'script' >
-                                        <i>document.appendChild(new Script(text))
-                                        eval(text)</i>