通信学报
通信學報
통신학보
Journal on Communications
2015年
10期
17-27
,共11页
李龙海%黄诚强%许尚妹%付少锋
李龍海%黃誠彊%許尚妹%付少鋒
리룡해%황성강%허상매%부소봉
混合网络%秘密混洗证明%选择密文安全%电子选举
混閤網絡%祕密混洗證明%選擇密文安全%電子選舉
혼합망락%비밀혼세증명%선택밀문안전%전자선거
mix network%proof of secret shuffling%CCA-secure%electronic election
提出了一种在选择密文攻击下可证明安全的可验证Mix-Net协议.在Wikstr(o)m Mix-Net方案基础上,引入了新的密钥生成算法和秘密混洗零知识证明构造方法,提高了安全性.在不暴露输入密文与输出明文匹配关系的条件下,任何人都可以根据Mix服务器公布的证据验证输出结果的正确性,即满足可公开验证性;任意发送者还可以追踪和检验自己输入的密文的处理过程,即满足发送者可验证性.基于随机预言机假设证明了该协议在适应性选择密文攻击模型下的安全性.与之前具有类似安全属性的方案相比,所提协议无需信任中心,无需用户与服务器之间的多轮交互,计算和通信复杂度更低,因此是构建安全电子选举协议的理想密码学工具.
提齣瞭一種在選擇密文攻擊下可證明安全的可驗證Mix-Net協議.在Wikstr(o)m Mix-Net方案基礎上,引入瞭新的密鑰生成算法和祕密混洗零知識證明構造方法,提高瞭安全性.在不暴露輸入密文與輸齣明文匹配關繫的條件下,任何人都可以根據Mix服務器公佈的證據驗證輸齣結果的正確性,即滿足可公開驗證性;任意髮送者還可以追蹤和檢驗自己輸入的密文的處理過程,即滿足髮送者可驗證性.基于隨機預言機假設證明瞭該協議在適應性選擇密文攻擊模型下的安全性.與之前具有類似安全屬性的方案相比,所提協議無需信任中心,無需用戶與服務器之間的多輪交互,計算和通信複雜度更低,因此是構建安全電子選舉協議的理想密碼學工具.
제출료일충재선택밀문공격하가증명안전적가험증Mix-Net협의.재Wikstr(o)m Mix-Net방안기출상,인입료신적밀약생성산법화비밀혼세령지식증명구조방법,제고료안전성.재불폭로수입밀문여수출명문필배관계적조건하,임하인도가이근거Mix복무기공포적증거험증수출결과적정학성,즉만족가공개험증성;임의발송자환가이추종화검험자기수입적밀문적처리과정,즉만족발송자가험증성.기우수궤예언궤가설증명료해협의재괄응성선택밀문공격모형하적안전성.여지전구유유사안전속성적방안상비,소제협의무수신임중심,무수용호여복무기지간적다륜교호,계산화통신복잡도경저,인차시구건안전전자선거협의적이상밀마학공구.
