Analysis of Electronic Voting Protocol Using Strand Space Model
Analysis of Electronic Voting Protocol Using Strand Space Model
复制标题
使用链空间模型分析电子投票协议
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
A. Ramalingam
中科院分区：
文献类型：
--
作者：
V. Sureshkumar;A. Ramalingam
本文研究了电子投票协议，在串空间模型下形式化并验证了其公平性、隐私性等性质。建立了合适的攻击者模型、对束概念和对束等价性，并利用串空间模型详细描述了公平性、隐私类型属性的形式化和验证。例如，FOO协议被认为是说明使用串空间理论开发的模型。结果表明，FOO协议满足公平性和投票隐私性，但不具备接收自由性。最后，对FOO协议进行了改进，使其具有接收自由性。
In this paper, we studied the electronic voting protocol to formalize and verify its fairness, privacy type properties in the strand space model. Also we established a suitable attacker model, the concept of pair bundles and equivalence of pair bundles which are used to frame the formalization and verification of fairness, privacy type properties in detail using the strand space model. For example, FOO protocol is considered to illustrate the model developed using the strand space theory. The result shows that the fairness, vote privacy properties are satisfied and receipt freeness property is failed for FOO protocol. Finally, an improvement of the FOO protocol is proposed so that it achieves receipt freeness property.