文献

J-GLOBAL ID：201702265847762916   整理番号：17A0115267

Downloadマルウェアは,感謝形式的手法はブロック更新攻撃することができるか【Powered by NICT】

Download Malware? No, Thanks. How Formal Methods Can Block Update Attacks

著者 (4件)： Mercaldo Francesco ,  Nardone Vittoria ,  Santone Antonella ,  Visaggio Corrado Aaron
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： FormaliSE  ページ： 22-28  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： モバイル不正ソフトウェア景観では,信頼できる応用における悪意のあるペイロードを注入する多くの技術は,最も一般的なものの一つは,いわゆる更新攻撃によって表現した。被害者の装置に設置する明らかに無害の適用後に,ユーザは,応用を更新するために求められている,悪意のある行動は,アプリケーションに追加した。本論文では,この種の攻撃を同定することができたモデル検査に基づく静的方法を提案した。中毒では,この方法はmethodlevelで悪意のあるペイロードを局在化することができた。2,581試料で構成された実際のAndroidデータセットを用いた最新情報攻撃を同定する家系1に非常に近い精度を得た。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 応用プログラム ,  携帯電話 ,  モデル検査 ,  家系 ,  ペイロード ,  *マルウェア ,  ヒューマノイドロボット
準シソーラス用語： アンドロイド ,  局在化 , 【Automatic Indexing@JST】

分類 (1件)： 計算機網  (JC03000K)

タイトルに関連する用語 (4件)： マルウェア ,  形式的手法 ,  更新 ,  攻撃