文献
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)