[發(fā)明專利]一種檢測(cè)隱私數(shù)據(jù)泄露的方法和裝置

有效

• 申請(qǐng)?zhí)枺?/td>: 201710543518.3
• 申請(qǐng)日: 2017-07-05
• 公開（公告）號(hào): CN107330345B
• 公開（公告）日: 2020-11-27
• 發(fā)明（設(shè)計(jì)）人: 胡昌振;馬銳;王夏菁;李博;單純;陳思諭
• 申請(qǐng)（專利權(quán)）人: 北京理工大學(xué)
• 主分類號(hào): G06F21/62
• 分類號(hào): G06F21/62;G06F21/57
• 代理公司: 北京市隆安律師事務(wù)所 11323
• 代理人: 權(quán)鮮枝

1.一種檢測(cè)隱私數(shù)據(jù)泄露的方法，應(yīng)用于Android移動(dòng)終端中，其特征在于，包括：

為所述Android移動(dòng)終端中隱私數(shù)據(jù)生成的變量添加對(duì)應(yīng)的污點(diǎn)標(biāo)記，所述隱私數(shù)據(jù)是所述Android移動(dòng)終端中安裝的應(yīng)用調(diào)用的隱私數(shù)據(jù)；

將所述變量及其污點(diǎn)標(biāo)記保存到根據(jù)所述變量的類型對(duì)應(yīng)分配的存儲(chǔ)空間中；

按照對(duì)包含控制信息的控制流分析后設(shè)定的污點(diǎn)傳播規(guī)則，追蹤所述變量對(duì)應(yīng)的污點(diǎn)標(biāo)記的傳播；

在預(yù)設(shè)的匯集點(diǎn)檢測(cè)傳輸?shù)臄?shù)據(jù)是否帶有污點(diǎn)標(biāo)記，是則確定所述應(yīng)用存在泄漏隱私數(shù)據(jù)的行為，否則確定所述應(yīng)用不存在泄漏隱私數(shù)據(jù)的行為；

按照設(shè)定的污點(diǎn)傳播規(guī)則，追蹤所述變量對(duì)應(yīng)的污點(diǎn)標(biāo)記的傳播包括：

按照設(shè)定的第一污點(diǎn)傳播規(guī)則和第二污點(diǎn)傳播規(guī)則，追蹤所述變量對(duì)應(yīng)的污點(diǎn)標(biāo)記的傳播，

所述第一污點(diǎn)傳播規(guī)則為：當(dāng)變量A依賴于條件分支con，該條件分支con的數(shù)據(jù)流flow的結(jié)果是流向所述變量A，且條件分支con執(zhí)行時(shí)，則

T(con)∪T(flow)→T(A)；

其中，T(con)表示條件分支con的污染情況，T(flow)表示數(shù)據(jù)流flow的污染情況，∪表示組合，T(A)表示變量A的污染情況；

所述第二污點(diǎn)傳播規(guī)則為：當(dāng)變量A依賴于條件分支con，條件分支con的數(shù)據(jù)流flow的結(jié)果是流向所述變量A，且該條件分支con不執(zhí)行時(shí)，則：

T(A)∪T(con)→T(A)；

其中，T(A)表示變量A的污染情況，T(con)表示條件分支con的污染情況，∪表示組合。

2.根據(jù)權(quán)利要求1所述的方法，其特征在于，為所述Android移動(dòng)終端中隱私數(shù)據(jù)生成的變量添加對(duì)應(yīng)的污點(diǎn)標(biāo)記包括：

對(duì)調(diào)用所述隱私數(shù)據(jù)的應(yīng)用編程接口API進(jìn)行修改，使所述API被調(diào)用時(shí)為隱私數(shù)據(jù)生成的變量添加污點(diǎn)標(biāo)記。

3.根據(jù)權(quán)利要求1所述的方法，其特征在于，在預(yù)設(shè)的匯集點(diǎn)檢測(cè)傳輸?shù)臄?shù)據(jù)是否帶有污點(diǎn)標(biāo)記包括：

在預(yù)設(shè)的所述Android移動(dòng)終端的網(wǎng)絡(luò)出口，當(dāng)檢測(cè)到所述變量時(shí)，根據(jù)所述變量的類型對(duì)應(yīng)從所述存儲(chǔ)空間中獲取所述變量對(duì)應(yīng)的污點(diǎn)標(biāo)記的值。

4.根據(jù)權(quán)利要求3所述的方法，其特征在于，在預(yù)設(shè)的匯集點(diǎn)檢測(cè)傳輸?shù)臄?shù)據(jù)是否帶有污點(diǎn)標(biāo)記包括：

在預(yù)設(shè)的匯集點(diǎn)，判斷所述變量對(duì)應(yīng)的污點(diǎn)標(biāo)記的值是否為空，如果不為空，則確定所述變量帶有污點(diǎn)標(biāo)記以及所述應(yīng)用存在泄露隱私數(shù)據(jù)的行為；如果為空，則確定所述變量不帶有污點(diǎn)標(biāo)記以及所述應(yīng)用不存在泄露隱私數(shù)據(jù)的行為。

5.一種檢測(cè)隱私數(shù)據(jù)泄露的裝置，應(yīng)用于Android移動(dòng)終端中，其特征在于，包括：

標(biāo)記添加模塊，用于為所述Android移動(dòng)終端中隱私數(shù)據(jù)生成的變量添加對(duì)應(yīng)的污點(diǎn)標(biāo)記，所述隱私數(shù)據(jù)是所述Android移動(dòng)終端中安裝的應(yīng)用調(diào)用的隱私數(shù)據(jù)；

存儲(chǔ)模塊，用于將所述變量及其污點(diǎn)標(biāo)記保存到根據(jù)所述變量的類型對(duì)應(yīng)分配的存儲(chǔ)空間中；

傳播模塊，用于按照對(duì)包含控制信息的控制流分析后制定的污點(diǎn)傳播規(guī)則，追蹤所述變量對(duì)應(yīng)的污點(diǎn)標(biāo)記的傳播；

檢測(cè)模塊，用于在預(yù)設(shè)的匯集點(diǎn)檢測(cè)傳輸?shù)臄?shù)據(jù)是否帶有污點(diǎn)標(biāo)記，是則確定所述應(yīng)用存在泄漏隱私數(shù)據(jù)的行為，否則確定所述應(yīng)用不存在泄漏隱私數(shù)據(jù)的行為；

所述傳播模塊，具體用于按照設(shè)定的第一污點(diǎn)傳播規(guī)則和第二污點(diǎn)傳播規(guī)則，追蹤所述變量對(duì)應(yīng)的污點(diǎn)標(biāo)記的傳播，

所述第一污點(diǎn)傳播規(guī)則為：當(dāng)變量A依賴于條件分支con，該條件分支con的數(shù)據(jù)流flow的結(jié)果是流向所述變量A，且條件分支con執(zhí)行時(shí)，則

T(con)∪T(flow)→T(A)；

其中，T(con)表示條件分支con的污染情況，T(flow)表示數(shù)據(jù)流flow的污染情況，∪表示組合，T(A)表示變量A的污染情況；

所述第二污點(diǎn)傳播規(guī)則為：當(dāng)變量A依賴于條件分支con，條件分支con的數(shù)據(jù)流flow的結(jié)果是流向所述變量A，且該條件分支con不執(zhí)行時(shí)，則：

T(A)∪T(con)→T(A)；

其中，T(A)表示變量A的污染情況，T(con)表示條件分支con的污染情況，∪表示組合。