电子投票协议抗胁迫性的认知论方法
密码学与安全
2016-11-18 v2
摘要
抗胁迫性是电子投票协议中一项重要且最为复杂的安全需求之一。文献中已提出多种抗胁迫性的定义，包括基于符号模型的定义。然而，此类模型中的现有定义在适用范围上相当受限且颇为复杂。因此，本文在符号设定下提出了一种基于认知论方法的抗胁迫性新定义。我们的定义相对简单且直观。它允许对抗胁迫性进行细粒度的表述，并且可以独立于特定的符号协议和敌手模型进行陈述。作为概念验证，我们将该定义应用于三个投票协议。特别是，我们对近期提出的Civitas系统进行了首次严格分析。我们精确识别了该系统保证抗胁迫性或丧失抗胁迫性的条件。我们还分析了Lee等人以及Okamoto提出的协议。
引用
@article{arxiv.0903.0802,
title = {An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols},
author = {Ralf Kuesters and Tomasz Truderung},
journal= {arXiv preprint arXiv:0903.0802},
year = {2016}
}
备注
An extended version of a paper from IEEE Symposium on Security and Privacy (S&P) 2009