言語ベースのシステム

言語ベースシステムは、ハードウェアメカニズムの代わりに、またはハードウェアメカニズムに加えて、言語機能を使用してセキュリティを提供するオペレーティングシステムの一種です。このようなシステムでは、トラステッドベースと呼ばれるコードがプログラムの実行を承認する役割を担い、最初に検出されて対処されなければ、システムの安定性に有害な操作を実行できないようにします。^[1]このような操作が不可能であることを保証する非常に一般的な戦略は、危険な構造を排除する設計になっているJavaなどの高水準言語を中心にシステムを構築することです。多くのシステムが完全にこのような言語で書かれており、低水準コードは最小限しか使用されていません。^{[2]言語ベースシステムは、システムに損害を与える可能性のある操作（}ダングリングポインターの参照解除によるメモリの破損など）を実行できないことを事前に保証できるため、従来のOSに必要な高価なアドレス空間の切り替えを回避できます。このため、マイクロカーネルは従来のシステムよりも人気があります。^[^要出典^]これのより極端な形態は、高水準言語コンピュータアーキテクチャであり、信頼できるベースがハードウェアにプッシュされ、システム全体が高水準言語で記述されます。

例

参照

高級言語コンピュータアーキテクチャ

参考文献

^ セキュリティに対する言語ベースのアプローチ、Schneider F.、Morrissett G. (コーネル大学)、Harper R. (カーネギーメロン大学)。情報科学: 10年前、10年後。(2000)
^ マイケル・ゴルム;メイク・フェルサー;クリスチャン・ワウェリッシュ。ユルゲン・クライノイダー。「JX - 柔軟な Java オペレーティングシステム (ポスター)」。エアランゲン大学。2007 年 4 月 21 日に取得。

A Sabelfeld、AC Myers言語ベースの情報フローセキュリティ IEEE Journal on Selected Areas in Communications、2003 巻 21、第 1 号 pp. 5–19
V Haldar、D Chandra、M Franzセマンティックリモート認証 - 信頼できるコンピューティングへの仮想マシン主導アプローチUSENIX 仮想マシン研究および技術シンポジウム、2004
ジャコバッツィ、マストロエニ抽象的非干渉：抽象的解釈による非干渉のパラメータ化プログラミング言語の原理に関する第 31 回 ACM SIGPLAN-SIGACT シンポジウムの議事録 pp 186–97 (2004)
Algis Rudys、Dan S. Wallach言語ベースシステムにおける終了ACM Transactions on Information and System Security (TISSEC) 第 5 巻、第 2 号 (2002 年 5 月) pp. 138–68

[Schneider-1] セキュリティに対する言語ベースのアプローチ、Schneider F.、Morrissett G. (コーネル大学)、Harper R. (カーネギーメロン大学)。情報科学: 10年前、10年後。(2000)

[2] マイケル・ゴルム;メイク・フェルサー;クリスチャン・ワウェリッシュ。ユルゲン・クライノイダー。「JX - 柔軟な Java オペレーティングシステム (ポスター)」。エアランゲン大学。2007 年 4 月 21 日に取得。