Verifying Properties in 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.