2。相关的工作数据查询是一个重要的操作在TWSN事件监控和数据分析。安全是数据查询的热点研究问题,如隐私保护、完整性或完整性验证。最近,安全范围查询(
5- - - - - -- - - - - -- - - - - -- - - - - - - -- - - - - -- - - - - -- - - - - -- - - - - - -
11),gydF4y2Ba前<我t一个l我c>k查询(
12- - - - - -- - - - - -- - - - - -- - - - - - - -- - - - - -- - - - - -- - - - - -- - - - - - -
17)gydF4y2Ba已被广泛研究。然而,有有限的研究最大/最小查询,和只
18,
19)gydF4y2Ba提出解决方案保护隐私的最大/最小TWSN查询。
gydF4y2Ba关于查询范围,一个安全的范围查询处理在TWSN首先提出了(
5),gydF4y2Ba有水桶分区和对称加密来实现收集数据的隐私保护,并使用MAC实现查询结果的完整性验证。基于[
5),gydF4y2Ba介绍了时空再确认(
6,
7gydF4y2Ba改善能源消费的效率。此外,时空再确认手续(
6,
7)gydF4y2Ba优化(
8),gydF4y2Ba平衡安全和能源消耗和该方法适用于多维范围查询。安全、节能的范围查询处理协议SafeQ提出了(
9,
10),gydF4y2Ba基于前缀会员验证(PMV) [
20.gydF4y2Ba和邻居链机制。此外,布隆过滤器(
21]gydF4y2Ba介绍了优化能源消耗。和一个安全的范围查询协议提出了基于水印QuerySec保序的功能和联系在
11),gydF4y2Ba这是在查询处理过程中节约能源的能力。然而,这些安全范围查询方法不适合解决保护隐私最大/最小查询。
gydF4y2Ba高级-<我t一个l我c>k查询中,细粒度的可核查的前<我t一个l我c>k查询方法,提出了在
12,
13),gydF4y2Ba即网络所有者可以验证在TWSNs查询结果的完整性和真实性。的验证代码,嵌入命令和相邻关系的HMAC利用收集到的数据(
14gydF4y2Ba实现可核查前<我t一个l我c>k查询处理。对称加密应用于(
15)gydF4y2Ba在可验证前降低沟通成本<我t一个l我c>k查询处理。在[工作
12- - - - - -- - - - - -- - - - - -- - - - - - - -- - - - - -- - - - - -- - - - - -- - - - - - -
15)gydF4y2Ba只支持查询结果的完整性和真实性验证,但是他们不能实现隐私保护。为了保护隐私,保护隐私前<我t一个l我c>k查询处理方法基于保序加密(
22)gydF4y2Ba提出了(
16,
17]gydF4y2Ba。虽然前<我t一个l我c>k查询时可以转换成最大/最小查询<我t一个l我c>k=1,这是浪费的能源消耗。原因是每个传感器节点应提交所有收集到的数据在每一个时期以来最高<我t一个l我c>k是专为获得最高的吗<我t一个l我c>k数据,<我t一个l我c>k是可变的。相比之下,最大/最小查询只需要提交唯一的最大值或最小值。因此,服用前<我t一个l我c>k查询最大值/最小值的查询将导致高不必要的数据通信。总之,安全-<我t一个l我c>k查询方法不适合解决保护隐私最大/最小查询。
gydF4y2Ba最大/最小查询,PMV一样在
9,
10),gydF4y2Ba使用对称加密和HMAC [
18)gydF4y2Ba达到保护隐私的最大/最小查询处理。因为更多的编码传输数据提交,生成采用PMV和HMAC功能,的能源消耗
18)gydF4y2Ba高,这将减少整个网络的生命周期。相比之下,我们的前工作(
19]gydF4y2Ba适应0 - 1编码验证代替PMV实现节能保护隐私最大/最小查询由EMQP表示。在EMQP,生成的代码使用0 - 1编码和HMAC的相同的数据,明显低于那些在生成
18),gydF4y2Ba可以减少传感器节点的能量消耗。此外,在本文中,我们将采用随机选择的代码的基础上EMQP节省更多的能量,实现更好的保护隐私最大/最小查询处理。
gydF4y2Ba也有许多安全的聚合方法,如(
23- - - - - -- - - - - -- - - - - -- - - - - - - -- - - - - -- - - - - -- - - - - -- - - - - - -
26]gydF4y2Ba。然而,大多数这些作品适应传统的多次反射无线传感器网络,他们不适合TWSNs。
年代ec><年代ec id="sec3">
3所示。模型和问题陈述<年代ecid="sec3.1">
3.1。网络模型我们考虑一个类似的TWSN模型(
5- - - - - -- - - - - -- - - - - -- - - - - - - -- - - - - -- - - - - -- - - - - -- - - - - - -
17),gydF4y2Ba如图
1gydF4y2Ba。网络分为多个单元,每个都包含主节点<我nl我ne- - - - - -for米ula>
米米米l:米我>米米l:mrow>
和一些传感器节点<我nl我ne- - - - - -for米ula>
{米米l:米o><米米l:米年代ub>
年代米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
年代米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
}米米l:米o>米米l:math>
的名字命名的<我nl我ne- - - - - -for米ula>
c米米l:米我><米米l:mi mathvariant="normal">
e米米l:米我><米米l:mi mathvariant="normal">
l米米l:米我><米米l:mi mathvariant="normal">
l米米l:米我><米米l:mo>
=米米l:米o><米米l:米fenced separators="|">
米米米l:米我><米米l:mo>
,米米l:米o><米米l:米fenced open="{" close="}" separators="|">
年代米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
年代米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
。特别是,主节点强大的设备,丰富的能源资源,存储和计算。此外,他们还负责接收和存储数据收集的传感器节点和处理查询请求b,而资源有限的传感器节点是便宜的设备。仅仅是提交其每个传感器节点收集的数据到主节点位于相同的单元中。主节点可以应用它的长途和高频通信能力与附近的节点,然后应该构建上层多次反射网络。从查询返回的查询结果将通过上述网络主节点b。有一个随需应变的无线连接(例如,卫星)主节点和b之间的相互作用。然而,这样的无线连接通常是不稳定的,高消耗、低速度。
我们假设分为不重叠的时期,在每一个时代<我nl我ne- - - - - -for米ula>
t米米l:米我>米米l:mrow>
,传感器节点<我nl我ne- - - - - -for米ula>
年代米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
收集<我nl我ne- - - - - -for米ula>
V米米l:米我>米米l:mrow>
传感器数据<我nl我ne- - - - - -for米ula>
d米米l:米我>米米l:mrow>
我米米l:米我><米米l:mo>
,米米l:米o><米米l:米n>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
d米米l:米我>米米l:mrow>
我米米l:米我><米米l:mo>
,米米l:米o><米米l:米n>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
d米米l:米我>米米l:mrow>
我米米l:米我><米米l:mo>
,米米l:米o><米米l:米i>
V米米l:米我>米米l:mrow>
。在TWSNs, BS拥有全球网络拓扑信息,而主节点拥有位于细胞的网络拓扑信息,和一个传感器节点只知道主节点的位置位于相同的单元中,1-hop邻近的传感器节点。
年代ec><年代ec id="sec3.2">
3.2。最大/最小查询模型TWSN最大/最小查询是一种查询操作旨在获取数据项之间的最大或最小的数据收集在指定的时期和地区。因此,下面的最大/最小查询将被认为是,用一个三元组:
(1)米米l:米text>米ml:mtd>
问米米l:米我><米米l:mo>
=米米l:米o><米米l:米fenced separators="|">
Θ米米l:米我><米米l:mo>
,米米l:米o><米米l:米i>
T米米l:米我><米米l:mo>
,米米l:米o><米米l:米i>
Γ米米l:米我>米米l:mrow>
,米米l:米o>米米l:mtd>
在哪里<我nl我ne- - - - - -for米ula>
Θ米米l:米我><米米l:mo>
∈米米l:米o><米米l:米fenced open="{" close="}" separators="|">
米米米l:米我><米米l:mi mathvariant="normal">
一个米米l:米我><米米l:mi mathvariant="normal">
X米米l:米我><米米l:mo>
,米米l:米o><米米l:米i mathvariant="normal">
米米米l:米我><米米l:mi mathvariant="normal">
我米米l:米我><米米l:mi mathvariant="normal">
N米米l:米我>米米l:mrow>
指的是查询类型,<我nl我ne- - - - - -for米ula>
T米米l:米我>米米l:mrow>
是查询的集合时代数字,然后呢<我nl我ne- - - - - -for米ula>
Γ米米l:米我>米米l:mrow>
表示查询传感器节点的集合id标明查询区域。例如,查询<我nl我ne- - - - - -for米ula>
问米米l:米我><米米l:mo>
=米米l:米o><米米l:米fenced separators="|">
米米米l:米我><米米l:mi mathvariant="normal">
一个米米l:米我><米米l:mi mathvariant="normal">
X米米l:米我><米米l:mo>
,米米l:米o><米米l:米i>
t米米l:米我><米米l:mo>
,米米l:米o><米米l:米fenced open="{" close="}" separators="|">
年代米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
年代米米l:米我>米米l:mrow>
4米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
年代米米l:米我>米米l:mrow>
6米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
年代米米l:米我>米米l:mrow>
11米米l:米n>米米l:mrow>
目的是获得最大的传感器节点采集的数据吗<我nl我ne- - - - - -for米ula>
年代米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
年代米米l:米我>米米l:mrow>
4米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
年代米米l:米我>米米l:mrow>
6米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
年代米米l:米我>米米l:mrow>
11米米l:米n>米米l:mrow>
的时代<我nl我ne- - - - - -for米ula>
t米米l:米我>米米l:mrow>
。
gydF4y2Ba为简单起见,我们专注于简单的马克斯查询针对一个细胞<我nl我ne- - - - - -for米ula>
米米米l:米我><米米l:mo>
,米米l:米o><米米l:米fenced open="{" close="}" separators="|">
年代米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
年代米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
和一个时代<我nl我ne- - - - - -for米ula>
t米米l:米我>米米l:mrow>
;这是<我nl我ne- - - - - -for米ula>
问米米l:米我><米米l:mo>
=米米l:米o><米米l:米o stretchy="false">
(米米l:米o><米米l:米i mathvariant="normal">
米米米l:米我><米米l:mi mathvariant="normal">
一个米米l:米我><米米l:mi mathvariant="normal">
X米米l:米我><米米l:mo>
,米米l:米o><米米l:米i>
t米米l:米我><米米l:mo>
,米米l:米o><米米l:米i>
Γ米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:math>
,在那里,<我nl我ne- - - - - -for米ula>
Γ米米l:米我><米米l:mo>
⊆米米l:米o><米米l:米fenced open="{" close="}" separators="|">
年代米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
,米米l:米o><米米l:米年代ub>
年代米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
,米米l:米o><米米l:米o>
…米米l:米o><米米l:米o>
,米米l:米o><米米l:米年代ub>
年代米米l:米我>米米l:mrow>
n米米l:米我>米米l:mrow>
。对于其他复杂查询覆盖多个时代和细胞,它可以很容易地通过将它们分解为多个简单的。节中,我们将进行讨论
4.5gydF4y2Ba。此外,最小查询类似于最大查询。
年代ec><年代ec id="sec3.3">
3.3。问题陈述在TWSNs,<我nl我ne- - - - - -for米ula>
米米米l:米我>米米l:mrow>
太脆弱,往往容易受到敌人的袭击,因为他们不仅是负责存储所有传感器节点收集到的数据,同时也负责处理查询请求BS。是否在明文和收集到的数据<我nl我ne- - - - - -for米ula>
米米米l:米我>米米l:mrow>
是妥协,任何数据存储在吗<我nl我ne- - - - - -for米ula>
米米米l:米我>米米l:mrow>
和生成的查询结果<我nl我ne- - - - - -for米ula>
米米米l:米我>米米l:mrow>
将暴露于攻击者,这往往会导致隐私泄露。因此,有必要采取有效措施对隐私的保护。
gydF4y2Ba我们采用honest-but-curious威胁模型一样
27),
米米米l:米我>米米l:mrow>
可能试图违反隐私窃取敏感数据但忠实地遵守协议在处理查询请求。此外,BS和传感器节点也认为是可信的对比<我nl我ne- - - - - -for米ula>
米米米l:米我>米米l:mrow>
。基于上述假设,为了达到保护隐私最大/最小查询处理,应满足以下条件:(1)
的任何传感器节点采集的数据网络,只有这个传感器节点和BS相比可以获得其真正的价值<我nl我ne- - - - - -for米ula>
米米米l:米我>米米l:mrow>
。
(2)对查询结果的真正价值,只有b相比可以获得它<我nl我ne- - - - - -for米ula>
米米米l:米我>米米l:mrow>
。
此外,<我nl我ne- - - - - -for米ula>
米米米l:米我>米米l:mrow>
有丰富的能源资源,而传感器节点能源有限公司,这将导致整个网络的生命周期这一事实完全依赖于传感器节点的能量消耗。和大部分能量被通信根据(
19]gydF4y2Ba。因此,传感器节点的通信成本是一个关键指标的绩效评估TWSN查询处理方法。我们将进行具体评估- sensing沟通成本<我nl我ne- - - - - -for米ula>
(米米l:米o><米米l:米年代ub>
C米米l:米我>米米l:mrow>
年代米米l:米我>米米l:mrow>
)米米l:米o>米米l:math>
和查询响应通信成本(<我nl我ne- - - - - -for米ula>
C米米l:米我>米米l:mrow>
米米米l:米我>米米l:mrow>
节)
6gydF4y2Ba。前者代表位产生的能源消费总量和传感器节点之间的数据传输<我nl我ne- - - - - -for米ula>
米米米l:米我>米米l:mrow>
每个时代,后指的是总比特之间传输的信息<我nl我ne- - - - - -for米ula>
米米米l:米我>米米l:mrow>
和b。
年代ec>年代ec>
4所示。最大/最小查询处理随机比较安全的选择我们使用0 - 1编码验证(
3),gydF4y2Ba可以利用比较数据项不知道它们的值。让<我nl我ne- - - - - -for米ula>
x米米l:米我><米米l:mo>
=米米l:米o><米米l:米年代ub>
b米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
b米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
⋯米米l:米o><米米l:米年代ub>
b米米l:米我>米米l:mrow>
w米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n>
1米米l:米n>米米l:mrow>
b米米l:米我>米米l:mrow>
w米米l:米我>米米l:mrow>
∈米米l:米o><米米l:米年代up>
0 1米米l:米n>米米l:mrow>
w米米l:米我>米米l:mrow>
是一个二进制字符串<我nl我ne- - - - - -for米ula>
w米米l:米我>米米l:mrow>
位。的0-encoding和1编码<我nl我ne- - - - - -for米ula>
x米米l:米我>米米l:mrow>
是用<我nl我ne- - - - - -for米ula>
E米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米o stretchy="false">
{米米l:米o><米米l:米年代ub>
b米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
b米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
⋯米米l:米o><米米l:米年代ub>
b米米l:米我>米米l:mrow>
我米米l:米我><米米l:mo>
- - - - - -米米l:米o><米米l:米n>
1米米l:米n>米米l:mrow>
1米米l:米n><米米l:米row>
∣米米l:米o>米米l:mrow>
b米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
=米米l:米o><米米l:米n>
0米米l:米n><米米l:米o>
∧米米l:米o><米米l:米n>
1米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
我米米l:米我><米米l:mo>
≤米米l:米o><米米l:米i>
w米米l:米我><米米l:mo stretchy="false">
}米米l:米o>米米l:math>
和<我nl我ne- - - - - -for米ula>
E米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米o stretchy="false">
{米米l:米o><米米l:米年代ub>
b米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
b米米l:米我>米米l:mrow>
2米米l:米n>米米l:mrow>
⋯米米l:米o><米米l:米年代ub>
b米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
∣米米l:米o>米米l:mrow>
b米米l:米我>米米l:mrow>
我米米l:米我>米米l:mrow>
=米米l:米o><米米l:米n>
1米米l:米n><米米l:米o>
∧米米l:米o><米米l:米n>
1米米l:米n><米米l:米o>
≤米米l:米o><米米l:米i>
我米米l:米我><米米l:mo>
≤米米l:米o><米米l:米i>
w米米l:米我><米米l:mo stretchy="false">
}米米l:米o>米米l:math>
分别在哪里<我nl我ne- - - - - -for米ula>
E米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
x米米l:米我>米米l:mrow>
+米米l:米o><米米l:米fenced open="|" close="|" separators="|">
E米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
x米米l:米我>米米l:mrow>
=米米l:米o><米米l:米i>
w米米l:米我>米米l:math>
。两个数据项<我nl我ne- - - - - -for米ula>
x米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -for米ula>
y米米l:米我>米米l:mrow>
,<我nl我ne- - - - - -for米ula>
x米米l:米我><米米l:mo>
>米米l:米o><米米l:米i>
y米米l:米我>米米l:math>
当且仅当<我nl我ne- - - - - -for米ula>
E米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
∩米米l:米o><米米l:米年代ub>
E米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
y米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
≠米米l:米o><米米l:米i>
Ø米米l:米我>米米l:math>
;否则<我nl我ne- - - - - -for米ula>
x米米l:米我><米米l:mo>
≤米米l:米o><米米l:米i>
y米米l:米我>米米l:math>
。显然,如果代码的<我nl我ne- - - - - -for米ula>
x米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -for米ula>
y米米l:米我>米米l:mrow>
不同的类型,他们可以比较;否则他们是无与伦比的。
gydF4y2Ba为了提高交叉路口的效率计算,数字化功能通常应用于0 - 1编码的二进制字符串转换成数字。因此我们采用同样的编码化的功能<我nl我ne- - - - - -for米ula>
N米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
∗米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:math>
在[
19),gydF4y2Ba满足的想法,任何两个0-encoding或1编码二进制字符串,<我nl我ne- - - - - -for米ula>
一个米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -for米ula>
b米米l:米我>米米l:mrow>
,<我nl我ne- - - - - -for米ula>
一个米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
b米米l:米我>米米l:math>
当且仅当<我nl我ne- - - - - -for米ula>
N米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
p米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米i mathvariant="script">
N米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
问米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:math>
。此外,我们利用HMAC实现one-wayness和碰撞,抵抗的编码数据。我们表示HMAC函数<我nl我ne- - - - - -for米ula>
H米米l:米我>米米l:mrow>
g米米l:米我>米米l:mrow>
(米米l:米o><米米l:米i>
∗米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:math>
,在那里<我nl我ne- - - - - -for米ula>
g米米l:米我>米米l:mrow>
HMAC的密钥,只在传感器节点共享。
<年代ecid="sec4.1">
4.1。比较模型基于随机比较安全的选择<年代t一个te米ent id="deff1">
定义1。对数据<我nl我ne- - - - - -for米ula>
x米米l:米我>米米l:mrow>
之后,运用0 - 1编码、编码化和HMAC,,两个生成的代码集用安全的比较器<我nl我ne- - - - - -for米ula>
x米米l:米我>米米l:mrow>
,在那里<我nl我ne- - - - - -for米ula>
年代米米l:米我><米米l:mi mathvariant="normal">
c米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:math>
和<我nl我ne- - - - - -for米ula>
年代米米l:米我><米米l:mi mathvariant="normal">
c米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o>米米l:math>
分别输入0和1型安全比较器;也就是说,<我nl我ne- - - - - -for米ula>
年代米米l:米我><米米l:mi mathvariant="normal">
c米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米年代ub>
H米米l:米我>米米l:mrow>
g米米l:米我>米米l:mrow>
(米米l:米o><米米l:米i mathvariant="script">
N米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米年代ub>
E米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o stretchy="false">
)米米l:米o><米米l:米o stretchy="false">
)米米l:米o>米米l:math>
,<我nl我ne- - - - - -for米ula>
年代米米l:米我><米米l:mi mathvariant="normal">
c米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
=米米l:米o><米米l:米年代ub>
H米米l:米我>米米l:mrow>
g米米l:米我>米米l:mrow>
(米米l:米o><米米l:米i mathvariant="script">
N米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米年代ub>
E米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o stretchy="false">
)米米l:米o><米米l:米o stretchy="false">
)米米l:米o>米米l:math>
。
年代t一个te米ent>根据0 - 1编码的数据比较属性验证,我们没有比较任意两个数据项根据它们的值,但只有相应的安全比较器。因此,引理
2gydF4y2Ba建立了。
<年代t一个te米entid="lem1">
引理2。对数据<我nl我ne- - - - - -for米ula>
x米米l:米我>米米l:mrow>
和<我nl我ne- - - - - -for米ula>
y米米l:米我>米米l:mrow>
,如果<我nl我ne- - - - - -for米ula>
年代米米l:米我><米米l:msub>
c米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
∩米米l:米o><米米l:米i>
年代米米l:米我><米米l:msub>
c米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
(米米l:米o><米米l:米i>
y米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
≠米米l:米o><米米l:米i>
Ø米米l:米我>米米l:math>
,然后<我nl我ne- - - - - -for米ula>
x米米l:米我><米米l:mo>
>米米l:米o><米米l:米i>
y米米l:米我>米米l:math>
;否则<我nl我ne- - - - - -for米ula>
x米米l:米我><米米l:mo>
≤米米l:米o><米米l:米i>
y米米l:米我>米米l:math>
。
年代t一个te米ent><年代tatement id="deff2">
定义3。数据的随机安全比较器<我nl我ne- - - - - -for米ula>
x米米l:米我>米米l:mrow>
用<我nl我ne- - - - - -for米ula>
ω米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
=米米l:米o><米米l:米text>
rnd米米l:米text><米米l:mfenced open="{" close="}" separators="|">
年代米米l:米我><米米l:mi mathvariant="normal">
c米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
x米米l:米我>米米l:mrow>
,米米l:米o><米米l:米年代ub>
年代米米l:米我><米米l:mi mathvariant="normal">
c米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
x米米l:米我>米米l:mrow>
,在那里<我nl我ne- - - - - -for米ula>
rnd米米l:米text><米米l:mfenced open="{" close="}" separators="|">
∗米米l:米我>米米l:mrow>
是随机选择一组的函数。它的价值是用<我nl我ne- - - - - -for米ula>
ω米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
。米米l:米o><米米l:米i>
v米米l:米我><米米l:mi>
一个米米l:米我><米米l:mi>
l米米l:米我>米米l:math>
;也就是说,<我nl我ne- - - - - -for米ula>
ω米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
。米米l:米o><米米l:米i>
v米米l:米我><米米l:mi>
一个米米l:米我><米米l:mi>
l米米l:米我><米米l:mo>
=米米l:米o><米米l:米i>
x米米l:米我>米米l:math>
用,其类型<我nl我ne- - - - - -for米ula>
ω米米l:米我><米米l:mo stretchy="false">
(米米l:米o><米米l:米i>
x米米l:米我><米米l:mo stretchy="false">
)米米l:米o><米米l:米o>
。米米l:米o><米米l:米i>
t米米l:米我><米米l:mi>
y米米l:米我><米米l:mi>
p米米l:米我><米米l:mi>
e米米l:米我>米米l:math>
,如下所示:
(2)米米l:米text>米ml:mtd>
ω米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
。米米l:米o><米米l:米i>
t米米l:米我><米米l:mi>
y米米l:米我><米米l:mi>
p米米l:米我><米米l:mi>
e米米l:米我><米米l:mo>
=米米l:米o><米米l:米fenced open="{" close="" separators="|">
0米米l:米n>米米l:mtd>
ω米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代ub>
年代米米l:米我><米米l:mi mathvariant="normal">
c米米l:米我>米米l:mrow>
0米米l:米n>米米l:mrow>
x米米l:米我>米米l:mrow>
1米米l:米n>米米l:mtd>
ω米米l:米我><米米l:mfenced separators="|">
x米米l:米我>米米l:mrow>
=米米l:米o><米米l:米年代ub>
年代米米l:米我><米米l:mi mathvariant="normal">
c米米l:米我>米米l:mrow>
1米米l:米n>米米l:mrow>
x米米l:米我>米米l:mrow>
。米米l:米o>米米l:mtd>
考虑到随机安全比较器的两个不同的数据项,我们建议<我t一个l我c>rsc_比较我t一个l我c>所示的算法,算法
1gydF4y2Ba根据引理,进行安全的比较
2gydF4y2Ba和定义
3gydF4y2Ba。
<大胆>算法1:< /大胆> <斜体> rsc_compare < /斜体>。