Verifying Properties in Electronic Voting Protocols

验证电子投票协议中的属性

• 批准号: EP/E029833/1
• 负责人: Mark Ryan
• 金额: $ 3.5万
• 依托单位: University of Birmingham
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2006
• 资助国家: 英国
• 起止时间: 2006 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FE029833%2F1
• 关键词: Verifying; Properties; Electronic; Voting; Protocols

Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes, and to offer security guarantees not available on paper-based systems (such as voter verification of the election). But it also carries the potential of making abuse easier to perform undetectably and at a large scale, and therefore rigorous security analysis is essential.The research will analyse existing voting protocols defined in the literature in terms of the formalisations of properties previously undertaken by the investigator and the named visitor.

电子投票有望提供一种方便、高效和安全的记录和统计选票的设施，并提供纸质系统所不具备的安全保证（例如选举的选民验证）。但它也有可能使滥用行为更容易在难以察觉的情况下大规模进行，因此严格的安全分析至关重要。该研究将根据调查员和指定访问者先前进行的财产形式化来分析文献中定义的现有投票协议。

项目成果

Verifying privacy-type properties of electronic voting protocols

• DOI: 10.3233/jcs-2009-0340
• 发表时间: 2009-01-01
• 期刊: JOURNAL OF COMPUTER SECURITY
• 影响因子: 1.2
• 作者: Delaune, Stephanie;Kremer, Steve;Ryan, Mark
• 通讯作者: Ryan, Mark

Symbolic bisimulation for the applied pi calculus

• DOI: 10.3233/jcs-2010-0363
• 发表时间: 2007-12
• 作者: S. Delaune;S. Kremer;M. Ryan

Symbolic Bisimulation for the Applied Pi-Calculus (extended abstract)

应用 Pi 微积分的符号互模拟（扩展摘要）

• 发表时间: 2007
• 作者: Jia Liu