Execution and Security Model: a proposed merged document

This is a proposed merge of Samsung and Mozilla proposals.