[發(fā)明專利]一種安卓系統(tǒng)內(nèi)核安全檢測方法和裝置

有效

• 申請?zhí)枺?/td>: 201810046739.4
• 申請日: 2018-01-16
• 公開（公告）號: CN108171061B
• 公開（公告）日: 2021-02-02
• 發(fā)明（設計）人: 張帆;劉小麗;張聰;胡方寧;劉澤宇
• 申請（專利權(quán)）人: 武漢輕工大學
• 主分類號: G06F21/56
• 分類號: G06F21/56;G06F21/57
• 代理公司: 深圳市世紀恒程知識產(chǎn)權(quán)代理事務所 44287
• 代理人: 胡海國

1.一種安卓系統(tǒng)內(nèi)核安全檢測方法，應用于漏洞挖掘，其特征在于，所述方法包括：

接收用戶輸入的內(nèi)核代碼建模指令，根據(jù)所述內(nèi)核代碼建模指令生成第一內(nèi)核狀態(tài)機；

在安卓系統(tǒng)接收外部輸入的內(nèi)核檢測請求時，確定所述內(nèi)核檢測請求對應的狀態(tài)機動作和信息流安全策略；

調(diào)用所述信息流安全策略，將所述信息流安全策略控制下的內(nèi)核狀態(tài)機作為第二內(nèi)核狀態(tài)機；

由所述第一內(nèi)核狀態(tài)機和所述第二內(nèi)核狀態(tài)機同步執(zhí)行所述狀態(tài)機動作，獲取由所述第一內(nèi)核狀態(tài)機執(zhí)行所述狀態(tài)機動作后得到的實際行為運行結(jié)果，以及由所述第二內(nèi)核狀態(tài)機執(zhí)行所述狀態(tài)機動作后得到的預期行為運行結(jié)果；

將所述實際行為運行結(jié)果和所述預期行為運行結(jié)果進行約束求解，在所述實際行為運行結(jié)果和所述預期行為運行結(jié)果不存在狀態(tài)不等價的解時，認定所述安卓系統(tǒng)內(nèi)核安全，否則存在安全漏洞；

其中，所述接收用戶輸入的內(nèi)核代碼建模指令，根據(jù)所述內(nèi)核代碼建模指令生成第一內(nèi)核狀態(tài)機的步驟，包括：

接收用戶輸入的內(nèi)核代碼建模指令，根據(jù)所述內(nèi)核代碼建模指令將內(nèi)核源代碼進行語義變換，獲得所述內(nèi)核源代碼的中間表示代碼；

對所述中間表示代碼執(zhí)行程序分析以進行預處理，獲得預處理后的中間表示代碼，所述預處理包括構(gòu)建所述中間表示代碼的控制流圖、函數(shù)調(diào)用圖，通過程序切片構(gòu)建所述中間表示代碼IR中變量和函數(shù)參數(shù)的數(shù)據(jù)流關(guān)系以及指針分析；

根據(jù)所述內(nèi)核代碼建模指令提取外部輸入信息，將所述外部輸入信息標注為符號；

對所述預處理后的中間表示代碼執(zhí)行Concolic混合執(zhí)行，得到第一內(nèi)核狀態(tài)機，其中，所述Concolic混合執(zhí)行為符號執(zhí)行Symbolic和具體執(zhí)行Concrete的結(jié)合。

2.如權(quán)利要求1所述的方法，其特征在于，所述由第一內(nèi)核狀態(tài)機和所述第二內(nèi)核狀態(tài)機同步執(zhí)行所述狀態(tài)機動作，獲取由所述第一內(nèi)核狀態(tài)機執(zhí)行所述狀態(tài)機動作后得到的實際行為運行結(jié)果，以及由所述第二內(nèi)核狀態(tài)機執(zhí)行所述狀態(tài)機動作后得到的預期行為運行結(jié)果，具體包括：

由所述第一內(nèi)核狀態(tài)機依次執(zhí)行所述狀態(tài)機動作，獲得所述內(nèi)核狀態(tài)機的實際行為運行結(jié)果；

由所述第二內(nèi)核狀態(tài)機基于所述安全策略依次執(zhí)行所述狀態(tài)機動作，獲得所述內(nèi)核狀態(tài)機的預期行為運行結(jié)果。

3.如權(quán)利要求2所述的方法，其特征在于，所述第一內(nèi)核狀態(tài)機和所述第二內(nèi)核狀態(tài)機同步執(zhí)行所述狀態(tài)機動作之前，所述方法還包括：

接收用戶輸入的目標安全域；

相應地，所述由所述第二內(nèi)核狀態(tài)機基于所述安全策略依次執(zhí)行所述狀態(tài)機動作，獲得所述內(nèi)核狀態(tài)機的預期行為運行結(jié)果，具體包括：

確定所述狀態(tài)機動作對應的待測安全域；

對所述待測安全域與所述目標安全域進行比較，在所述待測安全域與所述目標安全域之間存在信息流動關(guān)系，由所述第二內(nèi)核狀態(tài)機依次執(zhí)行所述待測安全域?qū)臓顟B(tài)機動作，獲得所述內(nèi)核狀態(tài)機的預期行為運行結(jié)果。

4.如權(quán)利要求3所述的方法，其特征在于，所述內(nèi)核狀態(tài)機包括安全域到狀態(tài)機動作函數(shù)、檢測結(jié)果函數(shù)、檢測執(zhí)行函數(shù)，以及預期檢測函數(shù)；

所述內(nèi)核狀態(tài)機包括安全域到狀態(tài)機動作函數(shù)，用于返回狀態(tài)機動作a所屬安全域；

檢測結(jié)果函數(shù)，用于輸出所述內(nèi)核狀態(tài)機在當前狀態(tài)s下執(zhí)行所述狀態(tài)機動作a的檢測結(jié)果；

檢測執(zhí)行函數(shù)，用于在當前狀態(tài)s下執(zhí)行內(nèi)核檢測請求；

預期檢測函數(shù)，用于表示在所述目標安全域w下所述內(nèi)

核檢測請求的預期行為。