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

有效

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

1.一種移動互聯網智能終端應用中間件安全開發方法，其特征在于：包括：

A：建模，具體如下：

A1：利用多模式匹配算法確定程序的安全等級以及篩選出包含敏感API的子函數；

A2：對子函數進行分析；

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

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

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

2.根據權利要求1所述的移動互聯網智能終端應用中間件安全開發方法，其特征在于：應用程序調用系統的關鍵API或者有害API序列時，系統通過Socket給用戶發出一個是否阻止本次操作的請求，如果用戶選擇“是”，客戶端通過Socket發送一個響應給系統，程序能夠順利調用該API，得到相應的系統數據，同時系統會記錄此次調用的記錄，如果用戶選擇“否”，則系統會禁止程序調用此API。

3.根據權利要求1或2所述的移動互聯網智能終端應用中間件安全開發方法，其特征在于：步驟A2中，對子函數進行詞法分析、語法分析、語義分析。

4.根據權利要求1或2所述的移動互聯網智能終端應用中間件安全開發方法，其特征在于：步驟A1中，多模式匹配算法的匹配過程如下：從AC自動機的初始狀態0出發，每次取出文本中的一個字符，根據當前的狀態和掃描到的字符，利用goto或者failure函數進入下一個狀態，當某個狀態的output函數不為空時，表明在該狀態找到了匹配模式，并輸出其值。

5.根據權利要求1或2所述的移動互聯網智能終端應用中間件安全開發方法，其特征在于：步驟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為根的樹形結構。