フェントン` sデータマーク機

フェントン作成の抽象機械と呼ばれるマークのマシンのデータの取り扱いを勉強し、実行時間の流れを暗黙のうちにします。 各変数に関連付けられたこのマシンのセキュリティクラス、またはタグとなります。 フェントンするタグが含まれても、プログラムカウンタ（ pc ）です。

封入して、パソコンの許可を治療するフェントン暗黙の明示的なフローの流れとしては、枝のためには単にパソコンを割り当てます。 彼は定義の意味のマシンのデータをマークします。 は、以下の議論は、スキップするという意味ではありませんして命令を実行すると、プッシュ（ × 、 × ）の手段を押すと変数xとそのセキュリティ×クラスに入ると、プログラムスタック、およびポップ（ × 、 × ）のトップの値と手段をポップクラスのセキュリティプログラムスタックをオフに割り当てるとして× ×となった。

フェントン5つの手順を定義します。 間の関係の手順を実行すると、クラスの変数は、以下のとおりです。

  1 。 もしx = 0次に後藤4他× ： = × 1 2 。 もしz = 0次に後藤6他のz ： = z 1 3 。 中止4 。  z ： = z + 1 5 。 戻り6 。  y ： = y + 1 7 。 戻り 

フェントンのマシンを処理されたエラーを無視してください。 と仮定し、上のプログラムでは、 y < = xの それから、 5ステップでは、認証が失敗した場合のチェック（パソコンのために= × ）します。 このため、割り当てはスキップされる、との末尾y = 0にかかわらず、 xの値 しかし、マシンのレポートにエラーが発生している場合は、エラーメッセージが表示さに知らせるの失敗により、ユーザーの認証を確認しようという意味だが、プログラムを実行する手順6にします。 場合にのみ行うことができましたので、枝のステップ2で、という意味でz = 0 。 もしz = 0 、その後、他の支店の声明1できませんでした取ってきた、という意味で× = 0最初にします。

このタイプの控除を防ぐため、フェントンのマシンに直面し続けて実行し、エラーが発生する原因しかし、それは無視した声明に違反しています。 この要件を満たしています。 プログラムの中断、または表示されるように、例外を作成し、ユーザーの情報が流れても原因に対するポリシーをご覧ください。

この問題を報告してエラーが低いクリアランスを持つユーザーの情報よりもエラーの原因となった情報から推測することができていますが、エラーと知っています。 エラーが発生した場合は、ログインしたような方法で、ログのエントリは、アクションのログを、目に見えるだけでは十分なクリアランスを持っている人は、そのポリシーに違反しませんが発生します。 しかし、その場合には、ユーザーが十分に高いクリアランス、次に参照して、ユーザーがポリシーに違反せずにエラーが発生しました。 そのため、エラーが発生し、ログインすることができ、システム管理者（または他の適切なユーザー）は、たとえそれをユーザーに表示することはできません誰がプログラムを実行しています。 似たようなコメントに適用されない例外アクションなど、異常終了します。