本文關(guān)鍵詞： Android 行為分析 約束求解 形式化描述　出處：《電子科技大學(xué)學(xué)報》2017年02期 　論文類型：期刊論文

【摘要】：提出一種基于語義的Android敏感行為靜態(tài)分析方法。該方法首先基于樣本統(tǒng)計結(jié)果,利用精簡Dalvik指令集作為本文分析的中間語言,實現(xiàn)對指令層的形式化語義描述;之后,基于中間語言發(fā)現(xiàn)檢測樣本中的敏感調(diào)用,并通過控制依賴關(guān)系追溯調(diào)用路徑;最后,在控制流分析基礎(chǔ)上,對存在敏感調(diào)用的路徑約束求解路徑條件。最終求解出具體后臺行為及觸發(fā)條件,揭示出樣本后臺行為的執(zhí)行全過程。該方法緩解了符號執(zhí)行中的路徑爆炸問題,實驗驗證了該方法可以有效地對移動應(yīng)用后臺行為進行分析,并及時獲取特征檢測無法發(fā)現(xiàn)的未知移動惡意應(yīng)用程序。
[Abstract]:A semantic based static analysis method for Android sensitive behavior is proposed. Firstly, based on the statistical results of samples, the reduced Dalvik instruction set is used as the intermediate language in this paper. The formal semantic description of instruction layer is realized. After that, the sensitive calls in the sample are detected based on the intermediate language, and the call path is traced by controlling the dependency relationship. Finally, on the basis of the control flow analysis, the path conditions are solved for the path constraints with sensitive calls. Finally, the specific background behavior and trigger conditions are solved. The whole execution process of the sample background behavior is disclosed. This method alleviates the path explosion problem in the symbol execution, and the experimental results show that the method can effectively analyze the background behavior of mobile applications. And get features in time to detect the unknown mobile malicious application that can not be detected.
【作者單位】： 北京郵電大學(xué)信息安全中心;國家計算機網(wǎng)絡(luò)應(yīng)急技術(shù)處理協(xié)調(diào)中心;
【基金】：國家自然科學(xué)基金(61302087) 國家科技支撐計劃(2012BAH06B02) 教育部博士點基金(20120005110017)
【分類號】：TP309;TP316
【正文快照】： 近年來,在諸多移動平臺中,針對Android平臺的惡意程序比例迅速攀升,數(shù)量呈爆發(fā)式增長[1]。新增的移動惡意程序中,Android平臺占據(jù)了絕大多數(shù),增長率超過了33%,遠遠大于傳統(tǒng)的桌面平臺,從而導(dǎo)致移動應(yīng)用安全形勢異常嚴(yán)峻�；诮K端的惡意程序的發(fā)展過程有著清晰的脈絡(luò)。在Symbi

【相似文獻】

相關(guān)期刊論文 前10條

1 林耕宇;;觀摩50名Google Android程序開發(fā)競賽作品[J];電子與電腦;2008年08期

2 樹子;;Android中文版不完全體驗[J];互聯(lián)網(wǎng)天地;2009年04期

3 Jason Whitmire;;產(chǎn)業(yè)軟件專家如何協(xié)助解決Android的分裂困境[J];電子與電腦;2010年02期

4 蔣彬;;10款A(yù)ndroid手機必備應(yīng)用——Android操作系下的軟件評測[J];微電腦世界;2010年04期

5 ;PCWorld Windows Phone 7挑戰(zhàn)Android 毅然崛起的AndroidⅠ洗心革面的Windows Phone 7[J];微電腦世界;2010年08期

6 韓青;;Android平臺發(fā)展的動力與挑戰(zhàn)[J];中國電子商情(基礎(chǔ)電子);2010年09期

7 方智勇;;Android手機這樣用[J];電腦迷;2010年15期

8 缺少浪漫;;Android的另一面[J];電腦迷;2010年13期

9 ;ZTE and Three Release Android ，

本文編號：1467550