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

【摘要】：提出一種基于語(yǔ)義的Android敏感行為靜態(tài)分析方法。該方法首先基于樣本統(tǒng)計(jì)結(jié)果,利用精簡(jiǎn)Dalvik指令集作為本文分析的中間語(yǔ)言,實(shí)現(xiàn)對(duì)指令層的形式化語(yǔ)義描述;之后,基于中間語(yǔ)言發(fā)現(xiàn)檢測(cè)樣本中的敏感調(diào)用,并通過(guò)控制依賴關(guān)系追溯調(diào)用路徑;最后,在控制流分析基礎(chǔ)上,對(duì)存在敏感調(diào)用的路徑約束求解路徑條件。最終求解出具體后臺(tái)行為及觸發(fā)條件,揭示出樣本后臺(tái)行為的執(zhí)行全過(guò)程。該方法緩解了符號(hào)執(zhí)行中的路徑爆炸問(wèn)題,實(shí)驗(yàn)驗(yàn)證了該方法可以有效地對(duì)移動(dòng)應(yīng)用后臺(tái)行為進(jìn)行分析,并及時(shí)獲取特征檢測(cè)無(wú)法發(fā)現(xiàn)的未知移動(dòng)惡意應(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é)信息安全中心;國(guó)家計(jì)算機(jī)網(wǎng)絡(luò)應(yīng)急技術(shù)處理協(xié)調(diào)中心;
【基金】：國(guó)家自然科學(xué)基金(61302087) 國(guó)家科技支撐計(jì)劃(2012BAH06B02) 教育部博士點(diǎn)基金(20120005110017)
【分類號(hào)】：TP309;TP316
【正文快照】： 近年來(lái),在諸多移動(dòng)平臺(tái)中,針對(duì)Android平臺(tái)的惡意程序比例迅速攀升,數(shù)量呈爆發(fā)式增長(zhǎng)[1]。新增的移動(dòng)惡意程序中,Android平臺(tái)占據(jù)了絕大多數(shù),增長(zhǎng)率超過(guò)了33%,遠(yuǎn)遠(yuǎn)大于傳統(tǒng)的桌面平臺(tái),從而導(dǎo)致移動(dòng)應(yīng)用安全形勢(shì)異常嚴(yán)峻。基于終端的惡意程序的發(fā)展過(guò)程有著清晰的脈絡(luò)。在Symbi

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

9 ;ZTE and Three Release Android ，

本文編號(hào)：1467550