安全多方计算(SMC)研究保护隐私的多方合作计算,是信息安全领域迅速崛起的热点研究方向。电子投票是SMC的典型案例,研究高效安全的电子投票协议,对电子商务活动中诸多安全协议的研究具有普遍意义。.本课题将基于SMC理论,建立一般的电子投票模型。设计若干无需可信第三方(TTP)或较少依赖TTP的高效SMC基础协议;针对不同环境、不同规模投票的安全性需求,采用新型的安全求和协议、安全点积协议、茫然多项式估值和秘密比较等SMC协议,设计多种安全电子选举方案,使之在达到安全需要的同时也能够保护投票者的隐私,以解决强制投票问题;采用形式化工具,对所提出的SMC和电子选举协议进行形式化分析和安全性证明;对现有协议进行严格的安全性证明,分析出其安全漏洞。探讨恶意攻击者模型下,提高SMC协议效率的新方法。
{{i.achievement_title}}
数据更新时间:2023-05-31
The Revised Direct Stiffness Matrix Method for Seismogram Synthesis Due to Dislocations: from Crustal to Geotechnical Scale
MSGD: A Novel Matrix Factorization Approach for Large-Scale Collaborative Filtering Recommender Systems on GPUs
Hindsight-aware deep reinforcement learning algorithm for multi-agent systems
Parallel Sequence-Channel Projection Convolutional Neural Network for EEG-Based Emotion Recognition
Node-based smoothed radial point interpolation method for electromagnetic-thermal coupled analysis
基于格的安全多方计算协议研究
量子多方安全计算及相关密码协议
量子安全多方计算中的基础协议研究
安全多方量子计算基础协议的研究与应用