実行時検証による故障注入攻撃の検出【JST・京大機械翻訳】

Kassem Ali; Falcone Ylies

文献

J-GLOBAL ID：202002240442896684 整理番号：20A2003850

実行時検証による故障注入攻撃の検出【JST・京大機械翻訳】

Detecting Fault Injection Attacks with Runtime Verification

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A2003850&from=J-GLOBAL&jstjournalNo=D0698C") }}

著者 (2件)： ,
資料名：
号： SPRO’19 ページ： 65-76 発行年： 2019年
JST資料番号： D0698C 資料種別：会議録 (C)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

故障注入は,安全アプリケーションを攻撃/試験するためにますます使用されている。本論文では,制御フローにおけるテスト反転攻撃と任意のジャンプをもたらす故障注入を検出できるランタイムモニタの形式モデルを定義した。時間検証モニタはいくつかの利点を提供する。モニタを実行するコードは,全体のアプリケーションコードと比較して小さい。モニタは形式的意味論を持つ。そして,それらが攻撃を効果的に検出することを証明した。各モニタは攻撃を検出するのに専用のモジュールであり,応用を確保するために必要とされるように展開できる。モニタはアプリケーションから別々に実行でき,応用の中に織り込むことができる。このモニタは,ユーザPINを検証するプログラム上の模擬攻撃を検出することによって検証された。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

著者キーワード (6件)： , , , , ,

データ保護

, ,

前のページに戻る