推荐星级:
  • 1
  • 2
  • 3
  • 4
  • 5

最小值问题的安全多方计算及其应用

更新时间:2019-12-24 04:10:55 大小:1M 上传用户:zhiyao6查看TA发布的资源 标签: 最小值问题 下载积分:1分 评价赚积分 (如何评价?) 打赏 收藏 评论(0) 举报

资料介绍

安全多方计算是国际密码学界近年来的研究热点.本文主要研究科学计算中最小值问题的安全多方计算,目前尚没有见到关于这个问题的解决方案.本文设计了一种新的编码方法,应用该编码方法和El Gamal乘法同态加密算法,并结合秘密分享以及门限密码体制,在半诚实模型下设计了三个能够抵抗合谋攻击的最小值安全多方计算方案,并应用模拟范例证明了方案的安全性.以最小值解决方案为基础还可以解决最大值安全计算以及并集的安全计算等科学计算问题.效率分析表明所设计的安全计算方案是高效的方案.


部分文件列表

文件名 大小
最小值问题的安全多方计算及其应用.pdf 1M

部分页面预览

(完整内容请下载后查看)
7
Vol. 45 No. 7  
Jul. 2017  
2017  
7
ACTA ELECTRONICA SINICA  
最小问题方计算应用  
1
1
2
, ,  
维 马 丽 东  
( 1.  
西师范大学数学信息科学学院 西西  
710062; 2.  
西师范大学计算机科学学院 西西安  
710062)  
:
方计算的研究本文主要研究科学计算中最小问题方计  
,  
算 目前到关这个问题的解本文设了一种的编方法 应用该方法和  
ElGamal  
态  
, ,  
算法 并结以及下设个能攻击最小方计算  
.  
并应用模例证明了性 以最小基础可以计算以及并计  
科学计算问题 效率表明计的计算方案是的方案  
:
;
;
;
;
;
关键词  
中图分类号  
URL: http: / /www. ejournal. org. cn  
方计算 最小态加制  
TP309. 7 0372-2112 ( 2017) 07-1715-07  
DOI: 10. 3969 /j. issn. 0372-2112. 2017. 07. 023  
:
:
A
:
文章编号  
文献标识码  
电子学报  
Secure Multi-Party Computation for Minimum and Its Applications  
1
1
2
DOU Jia-wei MA Li LI Shun-dong  
( 1. School of Mathematics and Information ScienceShaanxi Normal UniversityXianShaanxi 710062China;  
2. School of Computer ScienceShaanxi Normal UniversityXianShaanxi 710062China)  
Abstract: Secure multi-party computation is a focus in the international cryptographic community. This paper studies  
how to privately compute the minimum of some private numbers. We have not read about any a solution to this problem. In  
this studywe introduce a new encoding schemeand thenbased on this new encoding scheme and ElGamal multiplicatively  
homomorphic encryption schemeusing secret sharing and threshold decryptiondevise protocols for this problem. By using  
the simulation paradigmwe prove that these protocols are secure in the semi-honest model. These protocols can resist colli-  
sion attack. Based on the computing methods for minimum problemsecure multi-party computation for maximum and union  
of sets can also be solved. Efficiency analysis shows that these schemes are efficient.  
Key words: cryptography; secure multi-party computation; minimum; homomorphic encryption; secret sharing; thresh-  
old decryption  
结束信息  
1
引言  
1]  
23]  
Yao  
Goldreich  
等人  
首先提出了方计算问  
网络的迅速发展为多自的数  
题并对进行了的研究 从理明了的  
、 、  
进行挖掘 信息搜索以及数  
方计算问题都解的 出了通用的解决  
间的统计进行科学研究提供了  
案  
大的机同时也的信息来了大  
用通用的解决具的计算问题实  
,  
挑战 信任的网络各  
, ,  
从效率考虑 问题应该研究的解  
性 在计算程中慎  
, ,  
案 近人们研究各类方计算问题 如  
14 ~ 9]  
10 ~ 12]  
能导致的机使方计算  
的科学计算  
的计算何  
的  
计算应  
13]  
1415]  
到人们关注  
方计算或更自的  
统计分析  
掘  
16 ~ 18]  
,  
的科学计算方人们研究两  
189]  
45]  
合  
( ) .  
计算的进行计算 计算  
数的大小  
的信息较  
: 2015-08-28;  
: 2016-09-20; :  
责任编辑 孙瑶  
收稿日期  
修回日期  
:
基金项目 国家自然科学基金  
( No. 61272435)  
1716  
2017  
6]  
7]  
x ) .  
m
P  
协议行过程中 的信息为  
i
的交集  
计算集  
项式计  
19]  
1
t
Π
( )  
计算最小 的科  
view ( X) = ( x r M M ) ,  
i
i
i
i
i
j
, ,  
学计算中非常问题 目前没  
M ( j = 1t)  
i
P j .  
的第 信息 于部  
i
中  
构 成 的 子 集  
P } ,  
示  
到关这个问题的解案  
I = { P P }  
is  
{ P ,  
1
i1  
、 、  
方计算采用电路 秘  
m
Π
Π
Π
态加技术本模针对体  
view ( X) = ( Iview ( X) view ( X) ) .  
I
i1  
is  
3]  
20]  
问题的解结了多  
1(  
定义 协议性  
)
与  
,  
方计算的技术 本文通过计编方法 并结  
情况下 率多项式间算  
合这些技术 将最最小计算以及并  
问题相应乘积的解决  
S,  
使于任的  
I = { P P } { P P } ,  
1
i1  
is  
m
( 1)  
:
式  
立  
本文下  
:
*
m
{ S( I( x x ) f ( X) ) }  
i1  
is  
I
X
( { 01}  
)
( 1)  
( 1)  
提出了一种的编方法 使保  
c
Π
*
( { 01} )  
m
{ view ( X) }  
I
X
隐藏在一方法可以为  
c
, ,  
计算称协议 Π 计算  
他安方计算问题提供一种径  
( 2) ElGamal  
f.  
数  
本文的解案是的方案  
计的方法  
态加密  
算法 和门制的方法保  
2. 3  
计算最小问题的解案 这些参  
算法  
, ,  
可以攻击的程度不同 中第  
质  
ElGamal  
算法一种算法  
可以攻击  
( 3) ,  
计算最小基础 可以进一解  
:
下  
KeyGen.  
kk  
全参的大  
问题计算 得  
*
*
p
以及  
Z
gx Z ,  
成元 机选私钥 ∈  
p
的解案  
p
x
h = g mod p.  
计算对应钥  
Encrypt.  
2
识  
*
M( M Z ) ,  
选择个随机  
p
息  
2. 1  
模型  
r,  
文为  
:
r
r
( Trusted Third Party,  
有 一 信 的 第 者  
E( M) = ( c c ) = ( g mod pMh mod p) .  
2
1
TTP) , .  
情况下都泄露泄露的信息 参  
Decrypt.  
E ( M) = ( c c ) ,  
到  
2
文  
1
P P  
1
x x  
诉  
1
者  
自的息  
:
明文  
m
m
x  
TTPTTP  
f:  
计算数  
M = c ·c mod p.  
1
2
f( x x ) = ( f ( x x ) f ( x x ) ) ,  
m
Evaluate.  
1
m
1
1
m
1
m
P
了从协议得到  
i
TTP  
的计算  
E( M ) × E( M ) mod p  
2
1
r1 r1 r2 r2  
( g M h ) × ( g M h ) mod p  
2
f ( x x )  
m
外得信息 借助于  
结果  
i
1
1
r1 + r2 r1 + r2  
( g ( M × M ) h ) mod p  
2
TTP  
f( x x )  
协议称为理想全  
m
计算数  
1
1
( ) 、  
方计算协议 理想协议 理想协议安  
E( M × M ) mod p.  
2
1
f( x x )  
实  
性最高的计算协议 计算  
际保计算协议性都过理想协议 实  
际保计算协议可以通过理想协议进行较来了解  
ElGamal  
算法一种的  
1
m
以  
算法  
3
ElGamal  
算法算  
于  
性  
2. 2  
3. 1  
基本原理  
P P x x ,  
设  
m
半诚实模型  
本文者  
协议行过程中照  
3]  
1
者  
1
1
m
x
≤ ≤  
i
n( i = 1m) .  
y = min{ x ,  
们要计算  
1
x } .  
m
协议协议记  
P ( i = 1m)  
首先下面的方法造  
i
协议中收的信息 协议图根  
者  
:
组  
记录的信息入  
X = ( x x )  
in  
( 2)  
P P ,  
别具据  
1
x x ,  
1
者  
i
i1  
m
m
*
f( x x ) .  
m
X = ( x ,  
1
j x  
中 当  
x = 1;  
ij  
j
≥  
x
x = r ,  
ij  
r
Z
们利协议 Π 计算  
1
i
i
ij  
ij  
p

全部评论(0)

暂无评论

上传资源 上传优质资源有赏金

  • 打赏
  • 30日榜单

推荐下载