CN112116414A - 支持范围验证的竞拍式安全最近邻标底寻源***及方法 - Google Patents

支持范围验证的竞拍式安全最近邻标底寻源***及方法 Download PDF

Info

Publication number
CN112116414A
CN112116414A CN202010831148.5A CN202010831148A CN112116414A CN 112116414 A CN112116414 A CN 112116414A CN 202010831148 A CN202010831148 A CN 202010831148A CN 112116414 A CN112116414 A CN 112116414A
Authority
CN
China
Prior art keywords
bid
supplier
manager
purchasing
range
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN202010831148.5A
Other languages
English (en)
Inventor
李莉
韦鹏程
冉维
石熙
陈美成
王璐
付仕明
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Chongqing University of Education
Original Assignee
Chongqing University of Education
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Chongqing University of Education filed Critical Chongqing University of Education
Priority to CN202010831148.5A priority Critical patent/CN112116414A/zh
Publication of CN112116414A publication Critical patent/CN112116414A/zh
Pending legal-status Critical Current

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q30/00—Commerce
    • G06Q30/06—Buying, selling or leasing transactions
    • G06Q30/0601—Electronic shopping [e-shopping]
    • G06Q30/0611—Request for offers or quotes
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/60—Protecting data
    • G06F21/62—Protecting access to data via a platform, e.g. using keys or access control rules
    • G06F21/6218—Protecting access to data via a platform, e.g. using keys or access control rules to a system of files or objects, e.g. local or distributed file system or database
    • G06F21/6245—Protecting personal data, e.g. for financial or medical purposes
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q30/00—Commerce
    • G06Q30/06—Buying, selling or leasing transactions
    • G06Q30/08—Auctions

Landscapes

  • Engineering & Computer Science (AREA)
  • Business, Economics & Management (AREA)
  • Accounting & Taxation (AREA)
  • Finance (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • General Health & Medical Sciences (AREA)
  • Economics (AREA)
  • Marketing (AREA)
  • Development Economics (AREA)
  • Strategic Management (AREA)
  • Health & Medical Sciences (AREA)
  • General Business, Economics & Management (AREA)
  • Bioethics (AREA)
  • Databases & Information Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Computer Security & Cryptography (AREA)
  • Computer Hardware Design (AREA)
  • Medical Informatics (AREA)
  • Entrepreneurship & Innovation (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

本发明属于最近邻标底寻源技术领域，公开了一种支持范围验证的竞拍式安全最近邻标底寻源***及方法，所述支持范围验证的竞拍式安全最近邻标底寻源方法包括：使用基于签名的范围证明技术，供应商向采购管理者证明出价是否在规定范围内；在采购代理的协助下，采购管理者采用了密码学工具来实现获胜供应商的选择，在保证出价隐私的情况完成出价比较，选择具有最接近标底的出价的供应商为最终获胜的供应商。本发明使用轻量级密码原语，如Paillier密码***和混淆电路，允许输出正确的寻源结果。在本发明所设计的***中，尽管出价是加密的，最后比较的胜出者仍然是出价为b3的供应商，竞标结果不会因为对出价的隐私保护而发生改变。

Description

支持范围验证的竞拍式安全最近邻标底寻源***及方法
技术领域
本发明属于最近邻标底寻源技术领域，尤其涉及一种支持范围验证的竞拍 式安全最近邻标底寻源***及方法。
背景技术
当今社会，网络通信对供应链***产生了巨大的影响。网络促进了供应商 积极充分地参与到供应链***中来。作为供应链管理的一个重要组成部分，采 购管理者通过招标来获得原材料，并且利用竞争对手相互竞价的性质来使采购 成本保持合理，最近邻标底招标是当今一种流行的基于拍卖的采购招投标方式， 被广泛应用于企业的采购流程中。首先，根据采购项目具体要求，采购管理者 制定一些关键指标，包括最低出价，最高出价，标底。然后采购管理者将发布 最低出价和最高出价，同时保持标底保密。随后，各供应商提交其投标书，要 求他们的出价在最低出价和最高出价之间。最后，采购管理者选择具有最接近 标底的出价的供应商为中标者。最近邻标底寻源***示意图如图3所示。其中
Figure BDA0002638022150000011
表示最低出价，
Figure BDA0002638022150000012
表示最高出价，t为标底，b3为最接近标底t的出价，因此出 价为b3的供应商为竞标获胜者。
然而，目前的技术手段对于采购招投标***的出价的隐私保护非常有限， 进而导致了一系列的问题。例如，采购经理者并不总是值得信赖的，如果他获 知了供应商的出价隐私，可以通过调整项目的标底来最大化利润，但这个调整 后的标底距离项目的真实估价差距很大。同时，供应商可以通过监控其他供应 商的历史出价，预估标底并且提交一个最接近标底的出价，这就会导致恶意竞 标情况的产生。因此，对供应商的出价提供强大的隐私保护功能在现实采购中 具有重要意义。
通过上述分析，现有技术存在的问题及缺陷为：
(1)目前的技术手段对于采购招投标***的出价的隐私保护非常有限，例 如，采购经理者并不总是值得信赖的，如果他获知了供应商的出价隐私，可以 通过调整项目的标底来最大化利润，但这个调整后的标底距离项目的真实估价 差距很大。
(2)现有技术中，供应商可以通过监控其他供应商的历史出价，预估标底 并且提交一个最接近标底的出价，这就会导致恶意竞标情况的产生。
解决以上问题及缺陷的难度为：第一个难点是如何在保证***基本功能不 变的情况下保护出价隐私，然而现有的工作大多采用计算量复杂的双线性对来 保护隐私，***的效率难以得到保证。第二个难点是如何证明一个秘密出价是 否在一个特定的范围内。对于第二个挑战，本***采用了范围证明技术，常用 的分解承诺由于比特的分解和承诺的生成，计算代价比较昂贵，使得***的应 用性难度较高。
解决以上问题及缺陷的意义为：
我们使用轻量级密码原语可以有效的解决上述问题，建立一个支持范围验 证的竞拍式安全最近邻标底寻源***。一方面，这些加密工具允许我们的方案 输出正确的结果。例如，在最初的拍卖中，供应商中最接近标底的供应商为b0， 那么对出价进行隐私保护后，中标者仍然是b0，结果不会发生变化。另一方面， 对供应商的出价隐私进行保护，确保其不会泄露给其他供应商和采购管理者， 最后，通过采用基于签名的范围证明技术，有效地提升了***的整体效率。
发明内容
针对现有技术存在的问题，本发明提供了一种支持范围验证的竞拍式安全 最近邻标底寻源***及方法。
本发明是这样实现的，一种支持范围验证的竞拍式安全最近邻标底寻源方 法，所述支持范围验证的竞拍式安全最近邻标底寻源方法包括以下步骤：
步骤一，出价范围证明阶段：使用基于签名的范围证明技术，供应商向采 购管理者证明出价是否在规定范围内。
步骤二，秘密出价比较阶段：在采购代理的协助下，采购管理者采用了密 码学工具来实现获胜供应商的选择，在保证出价隐私的情况完成出价比较，选 择具有最接近标底的出价的供应商为最终获胜的供应商。
进一步，步骤一中，所述出价范围证明的方法，包括：
使用基于签名的范围证明技术来实现范围证明。采购管理者为在最高出价 和最低出价
Figure BDA0002638022150000031
中的每个元素生成一个签名。然后采购管理者从域
Figure BDA0002638022150000032
中随机 选择一个数值x，随后计算λb＝g1/(x+b)，数值
Figure BDA0002638022150000033
可以由各个供应 商公开下载。
进一步，步骤一中，所述出价范围证明过程如下：
首先，供应商生成出价的承诺C和数值U、V、W，然后将数值C、U、V 和W发送给采购管理者，随后采购管理者从域
Figure BDA0002638022150000034
中随机选择一个数值e作为 挑战发送给供应商，随后供应商生成θr、θb和θv作为证明，最后采购管理者进 行验证，验证通过则接收证明，否则拒绝证明。
进一步，步骤一中，所述出价范围证明方法的具体步骤如下：
输入：
供应商：出价b、数值
Figure BDA0002638022150000035
输出：
步骤1：采购管理者从域
Figure BDA0002638022150000036
中随机选择数值v，h，h1，r，β，ρ，υ，生成委托
Figure BDA0002638022150000037
计算
Figure BDA0002638022150000038
步骤2：供应商发送C、V、U、W给采购管理者；
步骤3：采购管理者发送挑战e给供应商；
步骤4：供应商计算θr＝ρ-er、θb＝β-eb和θv＝υ-ev；
步骤5：供应商发送θr、θb、θv给采购管理者；
步骤6：采购管理者验证
Figure RE-GDA0002778974190000041
并且
Figure RE-GDA0002778974190000042
是否成立，成立则接 收证明，返回为真；否则则拒绝证明，返回为假。
进一步，步骤二中，所述秘密出价比较的方法，包括：
衡量各个供应商的出价b0、b1、……、bm-1与标底t之间的距离，需要找出这 些距离中的最小绝对值，即找出|b0-t|、|b1-t|、……、|bm-1-t|种的最小值。寻 找出最小值的过程是在密文上完成的，将此项工作进行转化，即找出
Figure BDA0002638022150000043
中的最小值。这样就将绝对值比较运算 转化成了平方运算和乘积运算，利用Paillier密码学工具的同态性质可以完成此 项密文比较运算。采购管理者具有加密后的出价
Figure BDA0002638022150000044
和加密后 的标底
Figure BDA0002638022150000045
采购管理者生成B0、B1…、Bm-1并且发送给采购代理，采购代理完 成解密得到
Figure BDA0002638022150000046
并且计算
Figure BDA0002638022150000047
然后采购代 理重新加密
Figure BDA0002638022150000048
得到
Figure BDA0002638022150000049
通过同态的性质，消除随机数r0、r1、……、rm-1即 得到
Figure BDA00026380221500000410
再调用混淆电路中的密文最小值比较电 路MinValSel即可得到目标供应商，
Figure BDA00026380221500000411
表示密文，⊙表示密文上的减运算。
进一步，步骤二中，所述秘密出价比较方法的具体步骤如下：
输入：
采购管理者：加密出价
Figure BDA00026380221500000412
加密标底
Figure BDA00026380221500000413
采购代理：公私钥对(sk，pk)；
输出：
采购管理者：具有最近邻标底出价的供应商；
步骤1：
采购管理者选择m个k位的随机数r0、r1、……、rm-1；
从i＝0到m-1；
步骤2：采购管理者计算
Figure BDA0002638022150000051
步骤3：循环步骤2；
步骤4：采购管理者发送B0、B1……、Bm-1；
从i＝0到m-1；
步骤5：采购代理解密Bi得到
Figure BDA0002638022150000052
步骤6：采购代理计算
Figure BDA0002638022150000053
并且重新加密
Figure BDA0002638022150000054
得到
Figure BDA0002638022150000055
步骤7：循环步骤5-6；
步骤8：采购代理发送
Figure BDA0002638022150000056
给采购管理者；
从i＝0到m-1；
步骤9：计算
Figure BDA0002638022150000057
步骤11：循环步骤9；
步骤12：获胜供应商imin＝MinValSel(D0，D1，……Dm-1)；
步骤13：返回获胜供应商imin。
本发明的另一目的在于提供一种应用所述的支持范围验证的竞拍式安全最 近邻标底寻源方法的支持范围验证的竞拍式安全最近邻标底寻源***，所述支 持范围验证的竞拍式安全最近邻标底寻源***模型由三种实体组成，一个采购 管理者，一个采购代理，m个供应商。
进一步，所述支持范围验证的竞拍式安全最近邻标底寻源***模型中，|·|表 示绝对值。采购管理者设置最低出价为
Figure BDA0002638022150000058
最高出价
Figure BDA0002638022150000059
以及标底t。其中最低出 价和最高出价对***的其他实体是公开的。采购管理者要求每个供应商提交的 出价都应该在最低出价与最高出价之间。标底t只有采购管理者知道而不对其他 实体公开。在所有出价中，具有最接近标底t的出价的供应商将成为最后赢家。 最终由采购管理者宣布最终获胜的供应商。
进一步，在招投标项目中，有m家供应商参与竞标。首先，所述供应商通 过制定预算作为他们的出价。之后，每个供应商应向采购管理者证明其出价在 最低出价与最高出价之间。完成范围验证后，供应商通过加密***加密他们的 出价，并将加密后的出价发送给采购管理者。其中采购代理的主要功能是提供 隐私保护。具体来说，采购代理生成一个密钥对，其中包括私钥和公钥。采购 代理拥有私钥并对其他实体发布公钥。采购代理协助采购管理者选出最终的获 胜供应商。
结合上述的所有技术方案，本发明所具备的优点及积极效果为：本发明提 供的支持范围验证的竞拍式安全最近邻标底寻源方法，使用轻量级密码原语， 比如本发明的Paillier密码***和混淆电路。这些加密工具允许本发明的方案输 出正确的寻源结果；例如，在最初的拍卖中，供应商的出价中最接近标底的出 价为b3，因此中标者是出价为b3的供应商。在本发明所设计的***中，尽管出 价是加密的，最后比较的胜出者仍然是出价为b3的供应商，竞标结果不会因为 对出价的隐私保护而发生改变。
本发明采用了范围证明技术。大致来说，范围证明分为两类，分解—承诺 范围证明和基于签名的范围证明。但是分解—承诺范围证明技术通常由于比特 分解和承诺生成在计算开销上是昂贵的。相比之下，基于签名的范围证明则与 范围的位数无关。首先，验证者向证明者发送范围内元素的所有签名，然后证 明者将证明其秘密值与这些签名之一相匹配。因此，综合考虑计算开销，本系 统采购基于签名的范围证明技术。
附图说明
为了更清楚地说明本申请实施例的技术方案，下面将对本申请实施例中所 需要使用的附图做简单的介绍，显而易见地，下面所描述的附图仅仅是本申请 的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下 还可以根据这些附图获得其他的附图。
图1是本发明实施例提供的支持范围验证的竞拍式安全最近邻标底寻源方 法流程图。
图2是本发明实施例提供的支持范围验证的竞拍式安全最近邻标底寻源系 统模型示意图。
图3是本发明实施例提供的最近邻标底寻源***原理图。
图4是本发明实施例提供的范围验证阶段的计算时间示意图。
图5是本发明实施例提供的范围验证阶段的通信开销示意图。
具体实施方式
为了证明***模型在现实世界中的实用性，我们采用Java语言来实现*** 原型。实验在一台配备英特尔i7-6560UCPU、2.20GHz时钟的笔记本电脑上运 行。Paillier密码体制采用1024位模数，80位混淆电路。
为了使本发明的目的、技术方案及优点更加清楚明白，以下结合实施例， 对本发明进行进一步详细说明。应当理解，此处所描述的具体实施例仅仅用以 解释本发明，并不用于限定本发明。
针对现有技术存在的问题，本发明提供了一种支持范围验证的竞拍式安全 最近邻标底寻源***及方法，下面结合附图对本发明作详细的描述。
如图1所示，本发明实施例提供的支持范围验证的竞拍式安全最近邻标底 寻源方法包括以下步骤：
S101，出价范围证明阶段：使用基于签名的范围证明技术，供应商向采购 管理者证明出价是否在规定范围内。
S102，秘密出价比较阶段：在采购代理的协助下，采购管理者采用了密码 学工具来实现获胜供应商的选择，在保证出价隐私的情况完成出价比较，选择 具有最接近标底的出价的供应商为最终获胜的供应商。
下面结合实施例对本发明的技术方案作进一步描述。
1、挑战和解决方案
设计这样一个基于出价隐私保护的最近邻标底寻源***，本发明必须面对 以下两个挑战。第一个挑战是如何在维护基本功能不变的前提下设计一个出价 隐私保护的最近邻标底寻源***。为此，本发明使用轻量级密码原语，比如本 发明的Paillier密码***和混淆电路。这些加密工具允许本发明的方案输出正确 的寻源结果；例如，在最初的拍卖中，供应商的出价中最接近标底的出价为b3， 因此中标者是出价为b3的供应商。在本发明所设计的***中，尽管出价是加密 的，最后比较的胜出者仍然是出价为b3的供应商，竞标结果不会因为对出价的 隐私保护而发生改变。第二个挑战是如何证明一个秘密出价是否在一个特定的 范围内。针对第二个挑战，本***采用了范围证明技术。大致来说，范围证明分为两类，分解—承诺范围证明和基于签名的范围证明。但是分解—承诺范围 证明技术通常由于比特分解和承诺生成在计算开销上是昂贵的。相比之下，基 于签名的范围证明则与范围的位数无关。首先，验证者向证明者发送范围内元 素的所有签名，然后证明者将证明其秘密值与这些签名之一相匹配。因此，综 合考虑计算开销，本***采购基于签名的范围证明技术。
2、***模型
***模型由以下三种实体组成，一个采购管理者，一个采购代理，m个供 应商，如图2所示，|·|表示绝对值。采购管理者设置最低出价为
Figure BDA0002638022150000081
最高出价
Figure BDA0002638022150000082
以及标底t。其中最低出价和最高出价对***的其他实体是公开的。采购管理者 要求每个供应商提交的出价都应该在最低出价与最高出价之间。标底t只有采购 管理者知道而不对其他实体公开。在所有出价中，具有最接近标底t的出价的供 应商将成为最后赢家。最终由采购管理者宣布最终获胜的供应商。在本次招投 标项目中，有m家供应商参与竞标。首先，这些供应商通过制定预算作为他们 的出价。之后，每个供应商应向采购管理者证明其出价在最低出价与最高出价 之间。完成范围验证后，供应商通过加密***加密他们的出价，并将加密后的 出价发送给采购管理者。其中采购代理的主要功能是提供隐私保护。具体来说， 采购代理生成一个密钥对，其中包括私钥和公钥。采购代理拥有私钥并对其他 实体发布公钥。采购代理协助采购管理者选出最终的获胜供应商。
3、发明内容
根据项目的具体要求，本***设计为两个阶段，即出价范围证明阶段和秘 密出价比较阶段。本发明使用基于签名的范围证明技术，供应商向采购管理者 证明出价是否在规定范围内。此外，在采购代理的协助下，在获胜供应商的选 择上，采购管理者采用了密码学工具来实现，在保证出价隐私的情况完成出价 比较，选择具有最接近标底的出价的供应商为最终获胜的供应商。
3.1出价范围证明
本发明使用基于签名的范围证明技术来实现范围证明。采购管理者为在最 高出价和最低出价
Figure BDA0002638022150000091
中的每个元素生成一个签名。然后采购管理者从域
Figure BDA0002638022150000092
中随机选择一个数值x，随后计算λb＝g1/(x+b)，数值
Figure BDA0002638022150000094
可以由各 个供应商公开下载。证明过程如下：首先，供应商生成出价的承诺C和数值U、 V、W，然后将数值C、U、V和W发送给采购管理者，随后采购管理者从域
Figure BDA0002638022150000095
中随机选择一个数值e作为挑战发送给供应商，随后供应商生成θr、θb和θv作 为证明，最后采购管理者进行验证，验证通过则接收证明，否则拒绝证明。具 体步骤如下：
输入：
供应商：出价b、数值
Figure BDA0002638022150000096
输出：
步骤1：采购管理者从域
Figure BDA0002638022150000097
中随机选择数值v，h，h1，r，β，ρ，υ，生成委托
Figure BDA0002638022150000098
计算
Figure BDA0002638022150000099
步骤2：供应商发送C、V、U、W给采购管理者；
步骤3：采购管理者发送挑战e给供应商；
步骤4：供应商计算θr＝ρ-er、θb＝β-eb和θv＝υ-ev；
步骤5：供应商发送θr、θb、θv给采购管理者；
步骤6：采购管理者验证
Figure BDA0002638022150000101
并且
Figure BDA0002638022150000102
是否成立，成立则接 收证明，返回为真；否则则拒绝证明，返回为假。
4.2秘密出价比较
为了安全地找到最近邻标底供应商，首先要衡量的是各个供应商的出价 b0、b1、……、bm-1与标底t之间的距离，这意味着本发明需要找出这些距离中的 最小绝对值，即找出|b0-t|、|b1-t|、……、|bm-1-t|种的最小值。为了保护出价 的隐私，要求寻找出最小值的过程是在密文上完成的。然而，直接在密文上寻 找绝对值的最小值是很困难的，本发明将此项工作进行转化，即找出
Figure BDA0002638022150000103
中的最小值。这样就将绝对值比较运算 转化成了平方运算和乘积运算，利用Paillier密码学工具的同态性质可以完成此 项密文比较运算。采购管理者具有加密后的出价
Figure BDA0002638022150000104
和加密后 的标底
Figure BDA0002638022150000105
采购管理者生成B0、B1……、Bm-1并且发送给采购代理，采购代理完 成解密得到
Figure BDA0002638022150000106
并且计算
Figure BDA0002638022150000107
然后采购代 理重新加密
Figure BDA0002638022150000108
得到
Figure BDA0002638022150000109
通过同态的性质，消除随机数r0、r1、……、rm-1即 得到
Figure BDA00026380221500001010
再调用混淆电路中的密文最小值比较电 路MinValSel即可得到目标供应商，
Figure BDA00026380221500001011
表示密文，⊙表示密文上的减运算，具 体步骤如下：
输入：
采购管理者：加密出价
Figure BDA00026380221500001012
加密标底
Figure BDA00026380221500001013
采购代理：公私钥对(sk，pk)；
输出：
采购管理者：具有最近邻标底出价的供应商；
步骤1：
采购管理者选择m个k位的随机数r0、r1、……、rm-1；
从i＝0到m-1；
步骤2：采购管理者计算
Figure BDA0002638022150000111
步骤3：循环步骤2；
步骤4：采购管理者发送B0、B1、……、Bm-1；；
从i＝0到m-1；
步骤5：采购代理解密Bi得到
Figure BDA0002638022150000112
步骤6：采购代理计算
Figure BDA0002638022150000113
并且重新加密
Figure BDA0002638022150000114
得到
Figure BDA0002638022150000115
步骤7：循环步骤5-6；
步骤8：采购代理发送
Figure BDA0002638022150000116
给采购管理者；
从i＝0到m-1；
步骤9：计算
Figure BDA0002638022150000117
步骤11：循环步骤9；
步骤12：获胜供应商imin＝MinValSel(D0，D1，……Dm-1)；
步骤13：返回获胜供应商imin。
下面结合实验对本发明的技术效果作详细的描述。
如图4和图5所示，实验中，设定供应商的数量从200个到2000个不等。 最低出价的跨度为50到500，最高出价的跨度为1000到10000。从实验中可以 得到两个结论，首先，固定出价范围，计算时间和通信开销随供应商数量呈线 性增加。其次，出价范围对计算时间和通信开销的影响较小。因此，在范围验 证阶段，供应商的数量对于计算时间和通信开销影响较大，出价范围对于计算 时间和通信开销影响较小。
以上所述，仅为本发明的具体实施方式，但本发明的保护范围并不局限于 此，任何熟悉本技术领域的技术人员在本发明揭露的技术范围内，凡在本发明 的精神和原则之内所作的任何修改、等同替换和改进等，都应涵盖在本发明的 保护范围之内。

Claims (10)

1.一种支持范围验证的竞拍式安全最近邻标底寻源***及方法，其特征在于，所述支持范围验证的竞拍式安全最近邻标底寻源方法包括：
出价范围证明阶段：使用基于签名的范围证明技术，供应商向采购管理者证明出价是否在规定范围内；
秘密出价比较阶段：在采购代理的协助下，采购管理者采用了密码学工具来实现获胜供应商的选择，在保证出价隐私的情况完成出价比较，选择具有最接近标底的出价的供应商为最终获胜的供应商。
2.如权利要求1所述的支持范围验证的竞拍式安全最近邻标底寻源方法，其特征在于，所述出价范围证明的方法包括：使用基于签名的范围证明技术来实现范围证明；采购管理者为在最高出价和最低出价
Figure FDA0002638022140000011
中的每个元素生成一个签名；然后采购管理者从域
Figure FDA0002638022140000012
中随机选择一个数值x，随后计算λb＝g1/(x+b)，数值
Figure FDA0002638022140000013
可以由各个供应商公开下载。
3.如权利要求1所述的支持范围验证的竞拍式安全最近邻标底寻源方法，其特征在于，所述出价范围证明过程如下：
首先，供应商生成出价的承诺C和数值U、V、W，然后将数值C、U、V和W发送给采购管理者，随后采购管理者从域
Figure FDA0002638022140000014
中随机选择一个数值e作为挑战发送给供应商，随后供应商生成θr、θb和θv作为证明，最后采购管理者进行验证，验证通过则接收证明，否则拒绝证明。
4.如权利要求1所述的支持范围验证的竞拍式安全最近邻标底寻源方法，其特征在于，所述出价范围证明方法的具体步骤如下：
输入：
供应商：出价b、数值
Figure RE-FDA0002778974180000015
输出：
步骤一：采购管理者从域
Figure RE-FDA0002778974180000016
中随机选择数值v，h，h1，r，β，ρ，υ，生成委托
Figure RE-FDA0002778974180000021
计算
Figure RE-FDA0002778974180000022
W＝V-βgυ；
步骤二：供应商发送C、V、U、W给采购管理者；
步骤三：采购管理者发送挑战e给供应商；
步骤四：供应商计算θr＝ρ-er、θb＝β-eb和θv＝υ-ev；
步骤五：供应商发送θr、θb、θv给采购管理者；
步骤六：采购管理者验证
Figure RE-FDA0002778974180000023
并且
Figure RE-FDA0002778974180000024
是否成立，成立则接收证明，返回为真；否则拒绝证明，返回为假。
5.如权利要求1所述的支持范围验证的竞拍式安全最近邻标底寻源方法，其特征在于，所述秘密出价比较的方法，包括：衡量各个供应商的出价b0、b1、……、bm-1与标底t之间的距离，需要找出这些距离中的最小绝对值，即找出|b0-t|、|b1-t|、……、|bm-1-t|种的最小值；寻找出最小值的过程是在密文上完成的，将此项工作进行转化，即找出[[(b0-t)2]]、[[(b1-t)2]]、……、[[(bm-1-t)2]]中的最小值；这利用Paillier密码学工具的同态性质可以完成此项密文比较运算；采购管理者具有加密后的出价[[b0]]、[[b1]]、……、[[bm-1]]和加密后的标底[[t]]，采购管理者生成B0、B1……、Bm-1并且发送给采购代理，采购代理完成解密得到
Figure FDA0002638022140000025
并且计算
Figure FDA0002638022140000026
然后采购代理重新加密
Figure FDA0002638022140000027
得到
Figure FDA0002638022140000028
通过同态的性质，消除随机数r0、r1、……、rm-1即得到
Figure FDA0002638022140000029
再调用混淆电路中的密文最小值比较电路MinValSel即可得到目标供应商，[[·]]表示密文，⊙表示密文上的减运算。
6.如权利要求1所述的支持范围验证的竞拍式安全最近邻标底寻源方法，其特征在于，所述秘密出价比较方法的具体步骤如下：
输入：
采购管理者：加密出价[[b0]]、[[b1]]、……、[[bm-1]]，加密标底[[t]]；
采购代理：公私钥对(sk，pk)；
输出：
采购管理者：具有最近邻标底出价的供应商；
步骤一：
采购管理者选择m个k位的随机数r0、r1、……、rm-1；
从i＝0到m-1；
步骤二：采购管理者计算Bi＝[[bi]]⊙[[t]]·[[ri]]；
步骤三：循环步骤二；
步骤四：采购管理者发送B0、B1……、Bm-1；
从i＝0到m-1；
步骤五：采购代理解密Bi得到
Figure FDA0002638022140000031
步骤六：采购代理计算
Figure FDA0002638022140000032
并且重新加密
Figure FDA0002638022140000033
得到
Figure FDA0002638022140000034
步骤七：循环步骤五-步骤六；
步骤八：采购代理发送
Figure FDA0002638022140000035
给采购管理者；
从i＝0到m-1；
步骤九：计算
Figure FDA0002638022140000036
步骤十：循环步骤9；
步骤十一：获胜供应商imin＝MinValSel(D0，D1，……Dm-1)；
步骤十二：返回获胜供应商imin。
7.一种计算机设备，其特征在于，所述计算机设备包括存储器和处理器，所述存储器存储有计算机程序，所述计算机程序被所述处理器执行时，使得所述处理器执行如下步骤：
出价范围证明阶段：使用基于签名的范围证明技术，供应商向采购管理者证明出价是否在规定范围内；
秘密出价比较阶段：在采购代理的协助下，采购管理者采用了密码学工具来实现获胜供应商的选择，在保证出价隐私的情况完成出价比较，选择具有最接近标底的出价的供应商为最终获胜的供应商。
8.一种计算机可读存储介质，存储有计算机程序，所述计算机程序被处理器执行时，使得所述处理器执行如下步骤：
出价范围证明阶段：使用基于签名的范围证明技术，供应商向采购管理者证明出价是否在规定范围内；
秘密出价比较阶段：在采购代理的协助下，采购管理者采用了密码学工具来实现获胜供应商的选择，在保证出价隐私的情况完成出价比较，选择具有最接近标底的出价的供应商为最终获胜的供应商。
9.一种应用如权利要求1～6任意一项所述的支持范围验证的竞拍式安全最近邻标底寻源方法的支持范围验证的竞拍式安全最近邻标底寻源***，其特征在于，所述支持范围验证的竞拍式安全最近邻标底寻源***模型由三种实体组成，一个采购管理者，一个采购代理，m个供应商；
所述支持范围验证的竞拍式安全最近邻标底寻源***模型中，|·|表示绝对值；采购管理者设置最低出价为
Figure FDA0002638022140000041
最高出价
Figure FDA0002638022140000042
以及标底t；其中最低出价和最高出价对***的其他实体是公开的；采购管理者要求每个供应商提交的出价都应该在最低出价与最高出价之间；标底t只有采购管理者知道而不对其他实体公开；在所有出价中，具有最接近标底t的出价的供应商将成为最后赢家；最终由采购管理者宣布最终获胜的供应商。
10.如权利要求9所述的支持范围验证的竞拍式安全最近邻标底寻源***，其特征在于，在招投标项目中，有m家供应商参与竞标；首先，所述供应商通过制定预算作为他们的出价；之后，每个供应商应向采购管理者证明其出价在最低出价与最高出价之间；完成范围验证后，供应商通过加密***加密他们的出价，并将加密后的出价发送给采购管理者；
其中，采购代理的主要功能是提供隐私保护；具体来说，采购代理生成一个密钥对，其中包括私钥和公钥；采购代理拥有私钥并对其他实体发布公钥；采购代理协助采购管理者选出最终的获胜供应商。
CN202010831148.5A 2020-08-18 2020-08-18 支持范围验证的竞拍式安全最近邻标底寻源***及方法 Pending CN112116414A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202010831148.5A CN112116414A (zh) 2020-08-18 2020-08-18 支持范围验证的竞拍式安全最近邻标底寻源***及方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202010831148.5A CN112116414A (zh) 2020-08-18 2020-08-18 支持范围验证的竞拍式安全最近邻标底寻源***及方法

Publications (1)

Publication Number Publication Date
CN112116414A true CN112116414A (zh) 2020-12-22

Family

ID=73805125

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202010831148.5A Pending CN112116414A (zh) 2020-08-18 2020-08-18 支持范围验证的竞拍式安全最近邻标底寻源***及方法

Country Status (1)

Country Link
CN (1) CN112116414A (zh)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112712412A (zh) * 2020-12-31 2021-04-27 重庆第二师范学院 一种支持重复竞价鉴别的最近邻均值云存储采购竞价方法

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103248478A (zh) * 2013-05-08 2013-08-14 天津大学 基于多方安全协议的密封式电子拍卖方案与验证方法
CN107392743A (zh) * 2017-08-01 2017-11-24 安徽大学 一种McAfee双向拍卖隐私保护方法和拍卖方法
CN110825810A (zh) * 2019-10-28 2020-02-21 天津理工大学 一种基于区块链的群智感知双重隐私保护方法

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN103248478A (zh) * 2013-05-08 2013-08-14 天津大学 基于多方安全协议的密封式电子拍卖方案与验证方法
CN107392743A (zh) * 2017-08-01 2017-11-24 安徽大学 一种McAfee双向拍卖隐私保护方法和拍卖方法
CN110825810A (zh) * 2019-10-28 2020-02-21 天津理工大学 一种基于区块链的群智感知双重隐私保护方法

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
梅松华: "《数字货币研究前沿 第1辑》", 北京交通大学出版社, pages: 207 - 208 *

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112712412A (zh) * 2020-12-31 2021-04-27 重庆第二师范学院 一种支持重复竞价鉴别的最近邻均值云存储采购竞价方法

Similar Documents

Publication Publication Date Title
US8024274B2 (en) Practical secrecy-preserving, verifiably correct and trustworthy auctions
Dreier et al. Defining verifiability in e-auction protocols
Li et al. Toward decentralized fair data trading based on blockchain
Chen et al. SBRAC: Blockchain-based sealed-bid auction with bidding price privacy and public verifiability
JP2021019344A (ja) ブロックチェーンのための選択的プライベート分散計算
Xiong et al. Anonymous auction protocol based on time-released encryption atop consortium blockchain
CN109615376A (zh) 一种基于零知识证明的交易方法及装置
Wang et al. A privacy protection scheme for electricity transactions in the microgrid day-ahead market based on consortium blockchain
Li et al. Secure multi‐unit sealed first‐price auction mechanisms
Devidas et al. Identity verifiable ring signature scheme for privacy protection in blockchain
JP7364238B2 (ja) 電子取引システム、取引サーバ、検証サーバ、電子取引方法及びプログラム
Emami et al. A blockchain-based privacy-preserving anti-collusion data auction mechanism with an off-chain approach
CN112116414A (zh) 支持范围验证的竞拍式安全最近邻标底寻源***及方法
Alqahtani et al. Zone-based privacy-preserving billing for local energy market based on multiparty computation
Chenli et al. Fairtrade: Efficient atomic exchange-based fair exchange protocol for digital data trading
Shih et al. A secure multi-item e-auction mechanism with bid privacy
Shih et al. A secure reverse Vickrey auction scheme with bid privacy
Wang et al. Secure double auction protocols with full privacy protection
Chenli et al. Fair 2 Trade: Digital Trading Platform Ensuring Exchange and Distribution Fairness
Pasupathinathan et al. A fair e-tendering Protocol
Zhang et al. A blockchain-based privacy-preserving scheme for sealed-bid auction
CN117057805B (zh) 一种区块链交易***及基于全同态加密的交易方法
Shih et al. MoRVAM: A reverse Vickrey auction system for mobile commerce
Zhang et al. Privacy-Preserved Data Disturbance and Truthfulness Verification for Data Trading
Hsu et al. Publicly Verifiable M+ 1st‐Price Auction Fit for IoT with Minimum Storage

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
RJ01 Rejection of invention patent application after publication

Application publication date: 20201222

RJ01 Rejection of invention patent application after publication