文献

J-GLOBAL ID：201702215917328922   整理番号：17A1358991

高レベルPetriネットを用いたモデリングとAndroid許可フレームワークの解析【Powered by NICT】

Modeling and Analyzing the Android Permission Framework Using High Level Petri Nets

著者 (1件)： He Xudong
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： QRS  ページ： 232-239  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： Android許可フレームワークは,安全な断面応用通信を強化するためのAndroid OSの一部である。しかしアンドロイド許可枠組みは非常に複雑であり,その記述はWebページの散在している。多重許可レベルとそれらの潜在的脆弱性の間の関係を理解することは非常に困難である。本論文では,高水準Petriネットを使用したAndroid許可フレームワークの形式的モデルを提示した。モデルは許可の異なるレベル間の複雑な関係を定義する。モデルをインクリメンタルに構築し,将来変化に容易に適応可能である。モデル建物のプロセスを本ツール環境パイプ+で支持され,それはさらにいくつかの分析技術を提供する。許可要求に従い,違反するいくつかのシナリオのシミュレーション結果を議論した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *許認可 ,  Webページ ,  多重化 ,  *Petriネット ,  安全性 ,  *モデリング ,  通信 ,  シミュレーション
準シソーラス用語： 脆弱性 ,  *アンドロイド , 【Automatic Indexing@JST】

分類 (2件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (7件)： 高レベル ,  Petriネット ,  モデリング ,  Android ,  許可 ,  フレームワーク ,  解析