×
杨雪超;易、荀;安德烈·凯拉列夫;韩凤玲;罗俊伟

一种分布式网络系统，用于安全的可公开验证的在线自结盟投票。 （英语） Zbl 1478.94113号

信息科学。 543, 125-142 (2021).
摘要：为了成功进行电子投票（e-voting），确保所有步骤的安全性、隐私性和可验证性至关重要。本文使用Intel软件保护扩展插件（SGX）来实现这些目标，并通过管理访问提供针对恶意对手的保护。我们介绍了一个分布式SGX网络系统（DSGXNS）。它连接一个或多个SGX和选举公告板。我们提出并研究了一种基于DSGXNS-的安全、可公开验证和自部署的在线投票协议。每个投票都通过远程认证后构建的安全通信通道上传到DSGXNS。提交文件的有效性在SGX飞地内进行验证，合法投票在那里进行加密。对于端到端投票人验证，提出了一种新的加密机制。它可以防止违反机密性，并使每个人都能够验证提交内容和结果的有效性，可以使用同态属性进行自我关联。它保持机密性，因为即使系统管理员或获得管理权限的恶意对手也无法读取SGX飞地中的数据。每个选民都可以核实选举的所有步骤，并统计投票结果。我们的理论分析和实验表明，该协议是安全有效的。

MSC公司：

94A60型 密码学
91B12号机组 投票理论

关键词：

Intel SGX飞地;自行理货;E2E选民验证;同态加密

软件：

新加坡交易所;太阳神
PDF格式BibTeX公司 XML格式引用
\textit{X.Yang}等人，《信息科学》。543125--142（2021年；Zbl 1478.94113）
全文： 内政部

参考文献：

[1] B.Adida，Helios:基于网络的公开审计投票，载于：USENIX安全研讨会，第17卷，335-3482008。
[2] S.T.Ali，J.Murray，《端到端可验证投票系统概述》，载于《现实世界电子投票：设计、分析和部署》，CRC出版社，171-218，2016年。
[3] M.Arnaud，V.Cortier，C.Wiedling，《电子会议室投票系统分析》，收录于：《国际会议电子投票与身份》，第109-1262013页。
[4] 曹，J。；林，Z。；黄，G.-B。；Liu，N.，基于投票的极端学习机器，信息科学。，185，66-77（2012年）
[5] 查马库拉。；Saha，G.，特征选择的实例投票方法，Inf.Sci。，504, 449-469 (2019) ·Zbl 1453.68148号
[6] M.Chase，S.S.M.Chow，《改进基于多权限属性的加密中的隐私和安全》，摘自：Proc。第16届ACM计算机和通信安全会议，CCS 2009，121-130，2009。
[7] 陈，X。；吴琼。；张，F。；Tian，H。；魏，B。；Lee，B。；Lee，H。；Kim，K.，使用双活门承诺的新无收据投票方案，《信息科学》。，181, 1493-1502 (2011) ·Zbl 1251.94025号
[8] 科斯坦，V。；Devadas，S。；解释，英特尔SGX，Arxiv，2016，862016（2016）
[9] Drotár，P。；加兹达，M。；Vokorokos，L.，《使用选举方法和等级聚类进行集成特征选择》，《信息科学》。，480, 365-380 (2019) ·Zbl 1443.68146号
[10] ElGamal，T.，基于离散对数的公钥密码系统和签名方案，IEEE Trans。信息理论，31469-472（1985）·Zbl 0571.94014号
[11] Ge，X。；韩庆林。；张晓明。；丁·L。；Yang，F.，《传感器网络上的分布式事件触发估计：调查》，IEEE Trans。赛博。，50, 1306-1320 (2020)
[12] Ge，X。；韩庆林。；钟，M。；Zhang，X.-M.，欺骗攻击下传感器网络上的分布式Krein天基攻击检测，Automatica，109，文章108557 pp.（2019）·Zbl 1429.93135号
[13] J.Groth，《董事会投票和匿名广播中的高效最大隐私》，载于《国际金融密码》，2004年第90-104页·Zbl 1105.94305号
[14] Hao，F。；Ryan，P.Y。；杰林斯基，P.，《两轮公众讨论匿名投票》，IET Inf.Secur。，4, 2, 62-67 (2010)
[15] F.Hao，P.Jeelinéski，《两轮匿名否决协议》，载于：《安全协议国际研讨会》，202-211，2006年。
[16] 华，Y。；陈，F。；邓，S。；Duan，S。；Wang，L.，针对虚假数据注入攻击的安全分布式估计，信息科学。，515, 248-262 (2020)
[17] 黄，N。；Sun，Z。；B.D.O.安德森。；Duan，Z.，具有线性动力学的网络代理的分布式和自适应触发控制，信息科学。，517, 297-314 (2020) ·Zbl 1461.93309号
[18] Intel，Intel Software Guard Extensions（Intel SGX），2020年。网址：https://software.intel.com/en-us/sgx（访问日期：2020年4月15日）。
[19] 蒋，N。；徐，D。；周，J。；严，H。；Wan，T。；郑洁，基于投票的人群感知激励模型下的最优参与者决策，信息科学。，512, 1-17 (2020)
[20] 姜强。；齐，Y。；齐，S。；赵伟。；Lu，Y.，Pbsx：使用Intel SGX、Inf.Sci.、。，521174-194（2020）
[21] 卡德尔，D。；Smyth，B。；Ryan，P。；Hao，F.，《一个公平而稳健的广播投票系统》，《信息学（LNI）讲义》，（《Gesellschaft fur Informatik（GI）丛书（2012）），第285-299页
[22] Khan，K.M。；Arshad，J。；Khan，M.M.，《基于区块链的安全电子投票系统的性能约束研究》，Future Gen.Compute。系统。，105, 13-26 (2020)
[23] A.Kiayias，M.Yung，《自我计算选举和完美投票保密》，载于《国际公钥密码研讨会》，141-1582002年·Zbl 1055.94519号
[24] 李·T。；李，X。；钟，X。；蒋，N。；Gao，C.-Z.，使用可信处理器的通信高效外包隐私保护分类服务，Inf.Sci。，505, 473-486 (2019)
[25] P.McCorry，S.F.Shahandashti，F.Hao，《董事会会议室投票智能合同与最大投票人隐私》，IACR密码电子打印档案2017（2017）110。
[26] Park，H.-D.，基于区块链网络的分散式电子投票系统，Int.J.Innov。Technol公司。探索。工程师，83650-3652（2019）
[27] Rao，B.B。；塞哈尔，P.C。；库马尔，V.S。；Varma，K.S.，使用RSA和Int.J.Innov对基于aadhar的电子投票应用程序进行安全保护。Technol公司。探索。工程，82909-2913（2019）
[28] Saqib，M.N。；Kiani，J。；沙赫扎德，B。；Anjum，A。；马利克，S.R。；艾哈迈德，N。；Khan，A.R.，匿名和正式验证的基于双重签名的在线电子投票协议，群集计算。，22, 1703-1716 (2019)
[29] 肖，S。；王，X。；Wang，W。；Wang，H.，基于区块链的电子投票调查，Adv.Intell。系统。计算。，1035, 559-567 (2020)
[30] 严，H。；Chen，Z。；Jia，C.，SSIR：物联网中的安全相似图像检索，信息科学。，479, 153-163 (2019)
[31] X.Yang，X.Yi，S.Nepal，F.Han，《分散投票：在以太坊区块链上使用智能合约的自联投票系统》，载于：Int.Conf.Web Information Systems Engineering，18-352018。
[32] Yang，X.先生。；Yi，X。；尼泊尔，南部。；Kelarev，A。；Han，F.，基于同态加密的安全可验证排名选择在线投票系统，IEEE Access，620506-20519（2018）
[33] X.Yang，X.Yi，C.Ryan，R.van Schyndel，F.Han，S.Nepal，A.Song，可验证的排名选择互联网投票系统，收录于：Int.Conf.Web Information Systems Engineering，490-5012017。
[34] Yi，X。；Paulet，R。；Bertino，E.，同态加密和应用（2014），Springer:Springer New York·Zbl 1308.68014号
[35] Yoo，S.J.，不确定非仿射非线性时滞多智能体系统分布式协同跟踪的保持连接设计策略，信息科学。，514, 541-556 (2020) ·兹比尔1461.93025
[36] 翟，J。；王，X。；Pang，X.，利用MapReduce和随机权重网络从大型数据集中进行基于投票的实例选择，Inf.Sci。，367-368, 1066-1077 (2016)
[37] 张晓明。；韩庆林。；Ge，X。；丁·D。；丁·L。；Yue博士。；Peng，C.，《网络控制系统：趋势和技术调查》，IEEE/CAA J.Autom。罪。，7, 1-17 (2020)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。