[发明专利]一种对计算透明的数据隐私保护方法及系统

权利要求书

1.一种对计算透明的数据隐私保护方法，其特征在于实施步骤包括：

1)私有云生成Husk公式F_H及Husk公式的一个部分赋值解R_H；

2)将硬件电路或者软件程序转换得到的CNF公式F_C、Husk公式F_H、Husk公式的部分赋值解R_H混淆生成新的CNF公式F_O以及变量映射表Mv，并将新的CNF公式F_O发送给公共云上的SAT求解器；当收到SAT求解器针对新的CNF公式F_O进行求解得到的求解结果So后跳转执行下一步；

3)根据变量映射表Mv将求解结果So映射得到求解结果So的原始解Sc；

4)根据变量映射表Mv和求解结果So获取Husk公式变量对应的赋值集合S_H，判断Husk公式的部分赋值解R_H和赋值集合S_H两者对应的赋值是否相等，如果相等则将原始解Sc作为通过验证的原始解输出，否则判定原始解Sc为未通过验证的噪音解，跳转执行步骤2)进行复算；

步骤2)中混淆生成新的CNF公式F_O以及变量映射表Mv的详细步骤包括：

2.1)输入CNF公式F_C、Husk公式F_H、Husk公式的部分赋值解R_H；

2.2)初始化变量F并赋值为CNF公式F_C，初始化变量F₃为空；

2.3)判断变量F为空是否成立，如果变量F为空不成立则跳转执行下一步；否则，跳转执行步骤2.10)；

2.4)从变量F中取出一个子句C，所述子句是若干文字的析取，文字是布尔变量或是布尔变量的反；

2.5)从Husk公式的部分赋值解R_H中随机取得一个文字lit；

2.6)获取子句C、-lit两者的并集C1，-lit表示文字lit取反后得到的文字；

2.7)判断子句C是否是关键子句，如果子句C不是关键子句，则跳转执行步骤2.3)；否则如果子句C是关键子句，则跳转执行下一步；

2.8)获取子句C的输出文字olit；

2.9)将文字lit、文字-olit合并得到文字nC，其中文字-olit为由输出文字olit取反得到，将变量F₃赋值为变量F₃原值、文字nC、并集C1三者的并集，跳转执行步骤2.3)；

2.10)计算Husk公式F_H的子句平均长度AL；

2.11)将变量F赋值为变量F₃；

2.12)判断变量F为空是否成立，如果变量F为空不成立则跳转执行下一步；否则，跳转执行步骤2.16)；

2.13)从变量F中取出一个子句C；

2.14)判断子句C的绝对值小于Husk公式F_H的子句平均长度AL是否成立，如果成立则跳转执行下一步；否则，跳转执行步骤2.12)；

2.15)判断文字lit属于子句C是否成立，如果成立则跳转执行步骤2.14)；否则，跳转执行步骤2.12)；

2.16)将CNF公式F_C、Husk公式F_H中的变量重命名，得到变量映射表Mv；

2.17)将Husk公式F_H、变量F₃中的子句合并并进行混合排序得到新的CNF公式F_O；

2.18)输出新的CNF公式F_O、变量映射表Mv；

步骤4)的详细步骤包括：

4.1)输入求解结果So，变量映射表Mv，Husk公式的部分赋值解R_H，所述变量映射表Mv包括var域和formula域，var域为原始变量名，formula域为变量的公式来源；

4.2)初始化变量L并赋值为求解结果So；

4.3)判断变量L为空是否成立，如果不成立则跳转执行下一步；否则，将得到的真实解记录数组R作为公式F_C的解Sc输出，结束并退出；

4.4)从变量L中取出一个文字lit；

4.5)判断文字lit大于0是否成立，如果成立则设置变量var的值为文字lit，否则设置变量var的值为-lit，-lit表示文字lit取反后得到的文字；

4.6)根据变量var作为索引查找变量映射表Mv得到变量rvar＝M[var].var以及对应的公式来源M[var].formula，其中M[var]表示变量映射表Mv中变量var的索引项目；

4.7)判断变量rvar对应的公式来源M[var].formula等于CNF公式F_C是否成立，如果成立则跳转执行步骤4.8)；否则，跳转执行步骤4.9)；

4.8)判断文字lit的值大于0是否成立，如果成立则设置真实解记录数组R的索引rvar的值R[rvar]为变量rvar，否则设置真实解记录数组R的索引rvar的值R[rvar]为变量rvar取反后得到的文字；跳转执行步骤4.3)；

4.9)判断文字lit的值大于0是否成立，如果成立则以变量rvar作为索引获取部分赋值解R_H中的文字R_H[rvar]，判断部分赋值解R_H中的文字R_H[rvar]等于变量rvar是否成立，如果成立则跳转执行步骤4.3)，如果不成立则报错并跳转执行步骤4.11)；如果文字lit的值大于0不成立，则跳转执行下一步；

4.10)判断部分赋值解R_H中的文字R_H[rvar]等于变量rvar取反后得到的文字-rvar是否成立，如果成立则跳转执行步骤4.3)，如果不成立则报错并跳转执行步骤4.11)；

4.11)判定原始解Sc为未通过验证的噪音解，跳转执行步骤2)进行复算。