[发明专利]支持范围验证的竞拍式安全最近邻标底寻源系统及方法

权利要求书

1.一种支持范围验证的竞拍式安全最近邻标底寻源系统及方法，其特征在于，所述支持范围验证的竞拍式安全最近邻标底寻源方法包括：

出价范围证明阶段：使用基于签名的范围证明技术，供应商向采购管理者证明出价是否在规定范围内；

秘密出价比较阶段：在采购代理的协助下，采购管理者采用了密码学工具来实现获胜供应商的选择，在保证出价隐私的情况完成出价比较，选择具有最接近标底的出价的供应商为最终获胜的供应商。

2.如权利要求1所述的支持范围验证的竞拍式安全最近邻标底寻源方法，其特征在于，所述出价范围证明的方法包括：使用基于签名的范围证明技术来实现范围证明；采购管理者为在最高出价和最低出价中的每个元素生成一个签名；然后采购管理者从域中随机选择一个数值x，随后计算λ_b＝g^1/(x+b)，数值可以由各个供应商公开下载。

3.如权利要求1所述的支持范围验证的竞拍式安全最近邻标底寻源方法，其特征在于，所述出价范围证明过程如下：

首先，供应商生成出价的承诺C和数值U、V、W，然后将数值C、U、V和W发送给采购管理者，随后采购管理者从域中随机选择一个数值e作为挑战发送给供应商，随后供应商生成θ_r、θ_b和θ_v作为证明，最后采购管理者进行验证，验证通过则接收证明，否则拒绝证明。

4.如权利要求1所述的支持范围验证的竞拍式安全最近邻标底寻源方法，其特征在于，所述出价范围证明方法的具体步骤如下：

输入：

供应商：出价b、数值

输出：

步骤一：采购管理者从域中随机选择数值v，h，h₁，r，β，ρ，υ，生成委托计算W＝V^-βg^υ；

步骤二：供应商发送C、V、U、W给采购管理者；

步骤三：采购管理者发送挑战e给供应商；

步骤四：供应商计算θ_r＝ρ-er、θ_b＝β-eb和θ_v＝υ-ev；

步骤五：供应商发送θ_r、θ_b、θ_v给采购管理者；

步骤六：采购管理者验证并且是否成立，成立则接收证明，返回为真；否则拒绝证明，返回为假。

5.如权利要求1所述的支持范围验证的竞拍式安全最近邻标底寻源方法，其特征在于，所述秘密出价比较的方法，包括：衡量各个供应商的出价b₀、b₁、……、b_m-1与标底t之间的距离，需要找出这些距离中的最小绝对值，即找出|b₀-t|、|b₁-t|、……、|b_m-1-t|种的最小值；寻找出最小值的过程是在密文上完成的，将此项工作进行转化，即找出[[(b₀-t)²]]、[[(b₁-t)²]]、……、[[(b_m-1-t)²]]中的最小值；这利用Paillier密码学工具的同态性质可以完成此项密文比较运算；采购管理者具有加密后的出价[[b₀]]、[[b₁]]、……、[[b_m-1]]和加密后的标底[[t]]，采购管理者生成B₀、B₁……、B_m-1并且发送给采购代理，采购代理完成解密得到并且计算然后采购代理重新加密得到通过同态的性质，消除随机数r₀、r₁、……、r_m-1即得到再调用混淆电路中的密文最小值比较电路MinValSel即可得到目标供应商，[[·]]表示密文，⊙表示密文上的减运算。