文献

J-GLOBAL ID：202002212737970655   整理番号：20A0805645

モデル検査によるアンドロイドAPPS検出の照合【JST・京大機械翻訳】

Colluding Android Apps Detection via Model Checking

著者 (6件)： Casolare Rosangela (Department of Biosciences and Territory, University of Molise, Pesche, IS, Italy) ,  Martinelli Fabio (Institute for Informatics and Telematics, National Research Council of Italy (CNR), Pisa, Italy) ,  Mercaldo Francesco (Department of Biosciences and Territory, University of Molise, Pesche, IS, Italy) ,  Mercaldo Francesco (Institute for Informatics and Telematics, National Research Council of Italy (CNR), Pisa, Italy) ,  Nardone Vittoria (Department of Engineering, University of Sannio, Benevento, Italy) ,  Santone Antonella (Department of Biosciences and Territory, University of Molise, Pesche, IS, Italy)
資料名： Advances in Intelligent Systems and Computing  (Advances in Intelligent Systems and Computing)
巻： 1150  ページ： 776-786  発行年： 2020年 
JST資料番号： W5075A  ISSN： 2194-5357  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： アプリケーション共lu攻撃は,モバイル環境において広くなっている脅威の新しい形式である。この技術は,2つ以上の評価が,それらが独立に実行できない悪意のある行動を実行する目的で,いくつかの方法で協調することを必要とする。本論文では,2つ以上の評価が共lu攻撃を実行するかどうかを検出することを目的としたモデル検査技術を利用する方法を提示した。また,解析された評価の数を減らすことができる発見的関数を提案し,共luを局所化する。予備調査は非常に有望な結果をもたらした。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： マルウェア ,  応用プログラム ,  予備調査 ,  *モデル検査
準シソーラス用語： *アンドロイド , 【Automatic Indexing@JST】

著者キーワード (5件)： マルウェア ,  衝突 ,  モデル検査 ,  形式的方法 ,  アンドロイド

分類 (2件)： データ保護  (JD01020V) ,  計算機網  (JC03000K)

タイトルに関連する用語 (4件)： モデル検査 ,  アンドロイド ,  APPS ,  照合