文献

J-GLOBAL ID：201802242772545459   整理番号：18A0795829

ゲームに基づくアプローチを用いたdeceptiveパッチの形式的モデリング【JST・京大機械翻訳】

Formally modeling deceptive patches using a game-based approach

著者 (3件)： Avery Jeffrey (Northrop Grumman Corporation, McLean, VA, USA) ,  Avery Jeffrey (CERIAS, Computer Science Department, Purdue University, West Lafayette, IN, USA) ,  Wallrabenstein John Ross (Analog Devices, Inc., West Lafayette, IN, USA)
資料名： Computers & Security  (Computers & Security)
巻： 75  ページ： 182-190  発行年： 2018年 
JST資料番号： E0995A  ISSN： 0167-4048  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： データ,ツールおよび挙動を解読するパラダイムは,それらの正当な対応物と区別するのが困難である。しかし,deception作業の形式的表現およびパッチによって提供されるセキュリティに及ぼすその影響は不足している。新しい研究分野として,提案した技術のセキュリティインパクトについての理由から,この強い基礎を開発することが重要である。そこで,著者らは,deceptionの形式的モデルに向かって移動するために,様々な十分のパッチを表す多くの十分のモデルを提示した。これらのモデルは理論的に安全な技術を同定し,理論的安全性を短くする。短くなる技術のために,追加の解析は,それらが実際に効果的であることを示している。本研究では,最初に,技術の主張されたセキュリティインパクトを捉え,これらの定義を用いて一般的なゲームベースのモデルを提示する形式的ゲームベースのセキュリティ定義を導入した。次に,この一般的モデルをfaux,obfuscated,およびアクティブ応答パッチに適用し,それらのセキュリティインパクトを形式的に解析した。最後に,著者らは,これらの宣言システムの理想的性質が現実に達成できるかどうかについて議論する。Copyright 2018 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： モデル ,  *モデリング ,  セキュリティ ,  *ゲーム ,  安全性

著者キーワード (5件)： セキュリティ ,  ソフトウェア・パッチング ,  虚偽の影響 ,  ゲームベースモデリング ,  deceptiveパッチの実装

分類 (1件)： データ保護  (JD01020V)

タイトルに関連する用語 (3件)： ゲーム ,  パッチ ,  モデリング