[發明專利]移動互聯網智能終端應用中間件安全開發方法

有效

• 申請號: 201210360628.3
• 申請日: 2012-09-21
• 公開（公告）號: CN102902538A
• 公開（公告）日: 2013-01-30
• 發明（設計）人: 王軒;張加佳;趙海楠;吳紹梅
• 申請（專利權）人: 哈爾濱工業大學深圳研究生院
• 主分類號: G06F9/44
• 分類號: G06F9/44;G06F21/62
• 代理公司: 深圳市科吉華烽知識產權事務所(普通合伙) 44248
• 代理人: 張立娟;羅志強

技術領域

本發明涉及移動互聯網安全領域，尤其涉及智能終端應用中間件開發安全領域。

背景技術

現有智能手機系統無法撤回權限、對調用的API序列無法控制，從而導致用戶的隱私數據被竊取等安全問題。

發明內容

為了解決現有技術中問題，本發明通過在開發者項目打包編譯階段，采用靜態代碼檢測技術來檢測開發者代碼中的敏感功能，并給源代碼標上安全等級；所采用的技術有：多模式匹配技術（AC）、模型檢驗技術、詞法分析、語法分析、單模式匹配技術（KMP）。

在軟件運行階段，采用動態防御技術來對軟件所調用的敏感API以及敏感API序列進行檢測，并且能夠實時的撤回賦予軟件的權限。所采用的技術有：socket異步通信技術。

提供了一種移動互聯網智能終端應用中間件安全開發方法，包括：

A：建模，具體如下：

A1：利用多模式匹配算法確定程序的安全等級以及篩選出包含敏感API（例如調用發送短信函數）的子函數；

A2：對子函數進行分析；

A3：構造子函數的系統遷移圖，完成了系統的建模；

B：規范，使用規范語言CTL來描述程序的惡意行為，構造CTL公式的語法樹，對CTL公式進行翻譯、解析、EF替換、變量綁定；

C：驗證，利用非遞歸的標記算法來實現模型檢驗。

作為本發明的進一步改進，應用程序調用系統的關鍵API（如調用發送短信函數）或者有害API序列（如應用程序調用完獲取用戶通信錄信息的函數后，立刻調用發送短信的函數，或者聯網函數，此時我們可以認為此應用程序可能對用戶的隱私造成威脅）時，系統通過Socket給用戶發出一個是否阻止本次操作的請求，如果用戶選擇“是”，客戶端通過Socket發送一個響應給系統，程序能夠順利調用該API，得到相應的系統數據，同時系統會記錄此次調用的記錄，如果用戶選擇“否”，則系統會禁止程序調用此API。

作為本發明的進一步改進，步驟A2中，對子函數進行詞法分析、語法分析、語義分析。

作為本發明的進一步改進，步驟A1中，多模式匹配算法的匹配過程如下：從AC自動機的初始狀態0出發，每次取出文本中的一個字符，根據當前的狀態和掃描到的字符，利用goto或者failure函數進入下一個狀態，當某個狀態的output函數不為空時，表明在該狀態找到了匹配模式，并輸出其值。

作為本發明的進一步改進，步驟A3中，

在模型檢測中系統由遷移系統KS來描述，KS本質上是一個被標記的有向圖，它由狀態和狀態間的轉換關系組成；

設AP表示原子命題的集合，一個遷移系統M是一個4元組(S,S0,R,L)，其中S是一個有限狀態集合，是初始狀態集合，是遷移關系，L：S→2AP是一個標記函數用來標記每個狀態上成立的原子命題的集合；

模型M中的一條路徑π是S中狀態的無限序列s_1，s_2，s_3，…對每個i≥1，有(s_i，s_i+1)∈R，用πⁱ表示從s_i開始的路徑π的后綴，用∏_s表示所有以s開頭的路徑的集合；

計算樹：在遷移系統M中指定一個狀態s，并且依靠遷移關系R將遷移系統從有向圖的形式展開成的以指定的狀態s為根的樹形結構。

作為本發明的進一步改進，步驟B中，

規范語言用來描述狀態遷移系統的性質，CTL是一種分支時間邏輯，它的時間模型是一個樹狀結構，其中未來是不確定的，未來有不同的路徑，其中的任何一個都可能將是現實的“實際”路徑；

CTL公式由原子命題和操作符組成，CTL中可用的操作符包括：

CTL公式由如下縮減的

Backus-Naur范式歸納定義：

φ::⊥|T|p(φ)|(φ∧φ)|EFφ|E[φ∪φ]

3個操作符的優先級如下：EF>∧>EU

子公式：若公式的語法分析樹是公式φ的語法分析樹的子樹，則公式稱為公式φ的子公式；

定義5：設M=(S,S₀,R,L)是一個遷移系統，s∈S，φ是一個CTL公式，關系M,s|＝φ表示遷移系統M的狀態節點s滿足公式φ描述的屬性，其具體語義需對φ做結構歸納來定義：

1.M,s|=E[φ₁∪φ₂]且M,s|≠⊥；

2.M,s|＝p當且僅當p∈L(s)；