安全电子选举的三级目标与通用模型探索

"安全电子选举研究 (2007年)" 安全电子选举的三级目标，一般模型，电子选举关键技术分析，隐私保护，含权选举，"m选k"投票问题，安全多方计算技术 电子选举作为一种重要的密码协议应用，涉及到电子商务安全性的核心问题。在过去的20多年里，虽然已经有一些关于电子选举方案（EVS）的研究成果，但在定义选举的安全性以及建立统一模型方面仍存在不足。本文针对这一现状，提出了安全电子选举的三级目标，即：选票隐私、系统健壮性和普遍验证性。 首先，选票的隐私性是指选民的投票选择应该被保密，确保选民的个人选择不会被泄露。这需要防止任何形式的选票追踪或信息泄露，以保障选民的自由意志不受影响。 其次，系统的健壮性要求电子选举系统能够抵御各种攻击，如篡改、欺诈或瘫痪，确保选举过程的正常进行。这包括确保选民身份的合法性，投票的唯一性，以及计票的公正和完整。 最后，普遍验证性意味着所有参与方都有能力验证选举结果的正确性，增强公众对选举结果的信任度。此外，选举系统还应具备稳定性、便捷性和效率，以便于大规模实施。 为了实现这些目标，文章提出了一般性的电子选举模型，该模型涵盖了所有关键参数及其定义，适用于不同安全级别的电子选举场景。同时，文章探讨了在商务环境中具有广泛应用的特殊选举问题，如保护隐私的电子评审，这涉及到如何在保持匿名性的同时进行有效的评审；含权选举，即考虑选民权重的选举过程；以及“m选k”投票问题，这是指在多候选人中选取一定数量候选人的选举方式。 对于这些特殊问题，传统的密码技术可能难以提供有效解决方案。因此，文章引入了安全多方计算（SMC）技术，这是一种允许多个参与者共同计算而无需暴露各自输入数据的方法。通过SMC协议，可以解决隐私保护、防止强制投票和确保计票公正性等问题，为电子选举提供更高级别的安全保障。 这篇文章为安全电子选举的研究提供了一个系统化和结构化的框架，不仅明确了电子选举的安全需求，还创新性地提出使用安全多方计算来解决实际应用中的复杂问题，从而推动了电子选举领域的理论与实践进步。