抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
分散システムでは,遠隔証明により生成された完全性証拠に基づいて信頼決定を行う。収集可能な証拠の種類は,ボートタイム画像ハッシュ値である。ユーザスペースアプリケーションのための初期化ファイルの指紋;そして,走行カーネルの包括的測定。層状証明において,証拠は通常,ターゲットシステム内の異なる信頼境界から取られた重要なサブコンポーネントの測定から成る。離散的な測定証拠を,テストを集約的に行う成分による評価のために一緒に束した。本論文では,遠隔証明のための突風のエビデンス連鎖の研究を開始した。Copland認証仕様言語を用いて,著者らは,目標システムに関する実行時間敵対活動が,測定証拠によって改ざることができる条件を明確に定義した。著者らは,与えられた証拠のためのすべてのそのような改ざし機会を同定するアルゴリズム,および敵対者が検出されない証拠を修正できる「戦略」を改ざすことを,提示する。次に,Copland指定認証をそれ自身の最大改ざん耐性バージョンに変換する手順を定義した。著者らの努力は,それらのプロトコルが最小で,最も信頼できる構成部品に対する証拠の改ざり機会を縮小する証拠を,証明する証明プロトコル設計者を助けることを意図する。【JST・京大機械翻訳】