情報の流れの模型

1 回のループの実行を、信頼できる入力 $t$、信頼できない入力 $u$（外部の内容の作者が決める）、非公開の情報 $s$、モデル $M$（メッセージ列から呼び出しへの写像）で決まるものとする。攻撃者は $u$ を自由に選べるが、$s$ を知らず、$t$ と $M$ を変えられないとする。能力 $A_{\mathrm{run}}$ について、次の 3 つの条件を考える。

• (a) 非公開の情報を読む能力: $s$ を結果として文脈に入れる呼び出しが $A_{\mathrm{run}}$ にある。
• (b) 信頼できない入力の経路: $u$ を結果として文脈に入れる呼び出しが $A_{\mathrm{run}}$ にある（または $u$ が初めから文脈に入る）。
• (c) 外部へ送る能力: 引数に含めた文字列を外部の主体に届ける呼び出しが $A_{\mathrm{run}}$ にある。

実行の中で外部に届いた文字列の列を $\mathrm{Ext}(M, t, u, s)$ と書く。模型では次を仮定する。利用者は確認に 1 回も承認を与えない（したがって、実行されるのは $A_{\mathrm{run}}$ の呼び出しだけである）。(a) の呼び出しを実行しない限り $s$ は文脈に入らず、(a) でない呼び出しの結果と効果は $s$ に依らない。(b) の経路を通らない限り $u$ は文脈に入らず、(b) でない呼び出しの結果と効果は $u$ に依らない。外部に届くのは (c) の呼び出しの引数に含めた文字列だけで、(c) の呼び出しを実行しない限り何も外部に届かない。