ひそかチャンネル

Share

|

隠密として共有リソースのパスを使用するチャネルを通信します。 これには、スペースまたは共有の時間を共有します。

秘密のチャネルを使用するストレージリソースの属性共有します。 秘密のチャネルを使用するタイミングや注文時間の関係の間でのリソースへのアクセスを共有します。

秘密チャネルのタイミングは、通常の言葉で定義され、リアルタイムクロックやタイマーが、時間の関係もときどき使用します。 イベントの発注を意味する時間をベースに関係が絡んだ、どちらもタイマーリアルタイムクロックします。

2つ目の間でひそかに財産と区別することだけで、送信者と受信機のチャネルにアクセスできるようにと、ひそかに他のチャネルにアクセスできるようにしています。

チャネルは、ひそかに、ひそかに音を立てないチャネルを使用するリソースを利用できるようにする送信者と受信者のみです。 チャネルは、ひそかにひそかにうるさいチャネルを使用するリソースを利用できるように科目以外の送信者と受信者は、送信者と同様に、受信します。

これらの違いは2つのタイプのチャネルである必要があり、余分な情報を除外します。 すべての情報を取得して、受信者からの静かなチャネルから来て、送信します。 しかし、うるさいのチャネルでは、送信者の情報は、ミックスが無意味な情報については、騒音や、他のエンティティのリソースを使用しています。 ひそかにうるさいチャネルプロトコルを最小限に抑えることが必要で、この干渉します。

鍵のプロパティを隠密と帯域幅のチャネルが存在します。 存在を教えてくれることはどのチャネルに沿って情報を送ることができます。 帯域幅を急速にどのような情報を教えてくれるに送信することができます。 隠密チャネル解析の両方のプロパティを確立しました。 その後、チャンネルを排除したりすることができ、帯域幅を減らすことができるします。

ひそかチャンネルの検出

ひそかに必要なチャネルを共有します。 この方法では、リソースの共有を制御することができ科目情報を送受信し共有リソースを使用しています。 このメソッドから始まる観測検出します。

porrasとケンメラーが考案するアプローチを表すセキュリティ違反してから、春の木の応用断層ます。 彼らのモデルの情報の流れを介してリソースを共有したり、木にします。 パスの流れは、この構造体に発見されます。 アナリストの流れが正当なものかどうかを決定または各ひそかにします。

秘密の流れは、ツリーのツリー構造で表現した配列のような操作で1つのプロセスからの情報に移動しています。 5つのタイプのノードで構成されます。

ツリーの建設は、 3つのステップで処理します。 具体的な手順を行うのは、私たちの簡単な設定操作を提示する場合、それから尋ねる隠密チャネルを作成することができます。

例：ファイルシステムを検討するには、各ファイルには、 3つの属性があります。 ブールisopen属性とは、真のロックがロックまたはファイルを開いたとき、それぞれがfalseを返します。 3番目の属性は、 inuseは、設定のプロセスidが含まれ、各プロセスには、ファイルを開いています。 この関数read_access （ p 、 f ）のプロセスpがtrueの場合は、ファイルを読む権利をやり直すf 、かつ空の（ s ）がある場合にtrueを設定していません会員秒です。 の機能の1つでその引数を返しランダムに無作為に選ばれました。 次の操作を行うことは定義されます。

  （ *ファイルをロックするとロックされていない場合にオープンしません。 * * ） （それ以外を示すことがロックされてfalseを返す* ）手続きロック（ファン：ファイル） ：ブール;開始しない場合はf.lockedと空（ f.inuse ）次にf.locked ： =真;最後に; （ファイルのロックを解除する* * ）手続きunlockfile （ファン：ファイル） ;開始した場合f.locked次にf.locked ： =偽;最後に; （と言うかどうか、ファイルがロックさ* * ）機能filelocked （ファン：ファイル） ：ブール;開始filelocked ： = f.locked ;最後に; （ *ファイルを開くと、ロックされていない場合） （ * *プロセスの右側には、ファイルを読み込み* ）手続きopenfile （ f ：ファイル） ;開始しない場合はf.lockedとread_access （ process_id 、 f ）の次に（ *追加してプロセスidをinuseセット* ） f.inuse = f.inuse + process_id ;最後に; （ *プロセスの場合は、ファイルを読むことができ、言っている場合は* * ） （ファイルが開いて、それ以外の任意の値を返す* ）機能fileopened （ファン：ファイル） ：ブール;開始しない場合はread_access （ process_id 、 f ）次にfileopened ： =ランダム（ trueの場合は、虚偽） ;他のfileopened ： = isemptyません（ f.inuse ） ;終了 

プロセスは使用できませんと仮定して、互いに通信すると、読者が招待されチャネルを探そうとひそかに保管します。

ひそかに建設するための最初のステップは、ツリーの流れを決定する属性（あれば）どのような原始的な業務参照して、修正、戻りました。

例：上記の機能は、ファイルの属性を例に影響を及ぼすさまざまな方法で、以下のとおりです。

	ロック	unlockfile	filelocked	openfile	fileopened
リファレンス	ロック、 inuse	ロック	ロック	ロック、 inuse	inuse
修正	ロック	ø	ø	inuse	ø
戻り	ø	ø	ロック	ø	inuse

øのシンボルを意味していません属性が影響を受けた方法では、指定します。

第2段階を開始することを目標に位置決めチャネルストレージひそかにいくつかの属性を使用します。 アナリストのツリー構造の流れをひそかにします。 目標の種類のコントロールの建設は、以下のとおりです。

ツリーの建設終了時にすべてのパスを介して、木のいずれかの操作を終了する記号や記号失敗します。 建設のためには、再帰的には、アナリストには、ツリーループに遭遇するかもしれ建設します。 なければ、この場合は、パラメータの定義を繰り返すと呼ばれる回数のパスかもしれない横断しています。 この場所で、上限の大きさの木です。

共有リソース行列モデルとひそかに春の木の流れからの考えを調べるための共有リソースの修正と照会オペレーション、およびの両方を使用することができ、任意の時点で、ソフトウェアの開発ライフサイクル内します。 1つ以上の木を利用してひそかに流れsrmのモデルは、元の原因を識別し明示的なシーケンスのような操作で情報を1つのプロセスの流れからしています。 後者のチャネルというよりシーケンスの操作を識別します。 で比較すると、関連したファイルシステムへのアクセスを確保するエイダの操作目標は、ひそかに流れツリーシーケンス識別法の操作に対応するチャネルストレージひそかに発見されたsrm法と不干渉方法では、 1つのと同様され、他の2つが見つかりませんでした。

ひそかに軽減チャンネル

ひそかに情報を伝えるさまざまなチャネルを使用するリソースを共有します。 明白な方法を排除するには、必要なすべてのチャネルをひそかにしている状態をどのようなプロセスを実行する前に必要なリソースを提供し、これらのリソースをこのような形でのプロセスのみアクセスできるようにします。 これには、ランタイム、および実行時に達したときには、このプロセスが終了すると、リソースがリリースされます。 リソースのままに割り当てられている場合、完全に実行時にも以前のプロセスが終了します。 そうしないと、 2つ目のプロセスからの情報を推測する可能性は、リリースのタイミングの資源（ cpuのアクセスを含む）します。 この戦略のアイデアを効果的に実装するランプソンの合計隔離れることはなく、通常の練習でうまくいかないです。

代替アプローチをあいまいにするには、量のリソースを使用して処理します。 受信するプロセスを決定することはできませんがどのようなリソースの使用量に起因する送信者とはどのような金額に起因する暗黒化します。 この2つの方法で行われたことができます。 最初に、各プロセスのリソースに専念することができたの制服です。 これは、孤立の変種は、各プロセスを取得するため、同量の資源とするかどうかを伝えることはできません2つ目のプロセスは、リソースへのアクセスを測定することによって、タイミングや量のリソースをご利用いただけます。 本質的には、システムの不正を排除する有意義な資源配分して使用します。 第二に、でたらめに注入することができ、システムを使用すると、資源配分します。 これからの目標は、ひそかに、 1つのチャネルを騒がしいとして、騒音を支配するチャネル。 この暗黙のチャネルを閉じていません（まだ存在するので）しかし、無駄なことでレンダリングします。

これらの技術の効率性の両方に影響を及ぼすします。 割り当てを使用する廃棄物の抑制や資源の配分を固定します。 固定スライスして時間を意味し、 cpuのkvmとされるシステムを使用していない（またはがアイドル状態のプロセスを実行する）ときに別の仮想マシンを実行する可能性非アイドル状態のプロセスです。 増加する確率は、マルチレベルの中止を確保するデータベースのシステムではいくつかの取引を中止にすると、通常のコミット数の増加予想しようとしてデータベースを更新しています。 閉鎖しているかどうか、ひそかチャネルの帯域幅を制限するための十分な損失を補って、効率性は、政策決定します。

デバイスとして知られては、ポンプの基礎を破ってひそかにするためのテクニックをいくつかのチャンネルがあります。