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

摘要

本发明公开了一种对计算透明的数据隐私保护方法及系统，方法实施步骤包括：生成Husk公式FH及其部分赋值解RH；将硬件电路或者软件程序转换混淆生成新的CNF公式FO以及变量映射表Mv，将新的CNF公式FO发送给公共云上的SAT求解器；当收到求解结果So后根据变量映射表Mv将求解结果So映射得到求解结果So的原始解Sc；根据变量映射表Mv和求解结果So获取Husk公式变量对应的赋值集合SH，判断Husk公式的解RH和SH两者对应的赋值是否相等，如果相等则将原始解Sc作为通过验证的原始解输出，否则进行复算。本发明兼容已有SAT求解器，具有输出数据的隐私性好、混淆和求解复杂度低的优点。

主权项

1.一种对计算透明的数据隐私保护方法，其特征在于实施步骤包括：1)私有云生成Husk公式FH及Husk公式的一个部分赋值解RH；2)将硬件电路或者软件程序转换得到的CNF公式FC、Husk公式FH、Husk公式的解RH混淆生成新的CNF公式FO以及变量映射表Mv，并将新的CNF公式FO发送给公共云上的SAT求解器；当收到SAT求解器针对新的CNF公式FO进行求解得到的求解结果So后跳转执行下一步；3)根据变量映射表Mv将求解结果So映射得到求解结果So的原始解Sc；4)根据变量映射表Mv和求解结果So获取Husk公式变量对应的赋值集合SH，判断Husk公式的解RH和SH两者对应的赋值是否相等，如果相等则将原始解Sc作为通过验证的原始解输出，否则判定原始解Sc为未通过验证的噪音解，跳转执行步骤2)进行复算。