抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ハードウェアサンドボックスの自動生成のための設計フローを提案した。ツール,Sandboxedレイアウト(CAPSL)のためのコンポーネント認証プロセスは,トロイ活性化を検出し,実行時システムへの潜在的損傷を無効にすることが可能なサンドボックスを生成する。提案アプローチでは,チェッカーオートマトンに翻訳し,行動検査からの偏差にサンドボックスシステム相互作用を分離するためにシステムの信頼できない分配中で実装されていることを形式的モデルと非信頼IPの行動特性を捉えた。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】