抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
メモリ分離は,多くのセキュリティシステム,例えば,プログラムのための遮蔽システム,例えば信頼できないOSやセキュリティの重要なアプリケーションによって保証される重要な特性であり,システム上で実行される。それぞれのプログラムが意図的に,または意図的に読み出すことができないか,または他のプログラムに割り当てられるメモリを書き込むことができない。本論文では,ARMプロセッサに基づくメモリ分離を保証するシステムを形式的にモデル化し検証するための一般的フレームワークを提案した。具体的には,最初に,フレームワークにおけるシステムのための一般的モデルを提案した。このモデルにより,ARMプロセッサ上での構成の変化,例えば,分離を破ることなく,安全な世界のメモリを指定するために使用される拡張ページテーブルや構成などを示した。次に,一般的モデルを通してシステムのメモリ管理をモデル化するための一般的な精密化戦略を提案した。メモリ管理が戦略を用いてモデル化できれば,メモリ管理はメモリ分離を確実にする。著者らは,OSPと呼ばれるセキュリティシステムのメモリ管理をモデル化し,検証するためにフレームワークを使用し,ARMプロセッサ上の仮想化拡張とプログラムのメモリを分離するARM Trustoneの両方を利用する。結果は,システムが実際にシステム上で実行されたプログラムのための分離を確実にすることを示した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】
