安全多方计算(SMC)研究保护隐私的多方合作计算，是信息安全领域迅速崛起的热点研究方向。电子投票是SMC的典型案例，研究高效安全的电子投票协议，对电子商务活动中诸多安全协议的研究具有普遍意义。.本课题将基于SMC理论，建立一般的电子投票模型。设计若干无需可信第三方（TTP）或较少依赖TTP的高效SMC基础协议；针对不同环境、不同规模投票的安全性需求，采用新型的安全求和协议、安全点积协议、茫然多项式估值和秘密比较等SMC协议，设计多种安全电子选举方案，使之在达到安全需要的同时也能够保护投票者的隐私，以解决强制投票问题；采用形式化工具，对所提出的SMC和电子选举协议进行形式化分析和安全性证明；对现有协议进行严格的安全性证明，分析出其安全漏洞。探讨恶意攻击者模型下，提高SMC协议效率的新方法。