Design and Formal Analysis of Electronic Voting Protocol using AVISPA

被引：0

作者：

Oo, Htet Ne ^{[1
]}

Aung, Aye Moe ^{[1
]}

机构：

[1] Univ Technol Yatanarpon Cyber City, Fac Informat & Commun Technol, Pyin Oo Lwin, Myanmar

来源：

2017 2ND INTERNATIONAL CONFERENCE FOR CONVERGENCE IN TECHNOLOGY (I2CT) | 2017年

关键词：

Analysis; AVISPA; Electronic voting; Eligibility; Fairness; Receipt-freness; Verifiability;

D O I：

暂无

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

There are many important security properties that electronic voting protocols and systems need to satisfy. They are eligibility, fairness, security, verifiability, coercion resistance and receipt-freeness. Presently, most electronic voting systems fulfill only some of the required properties. Among these properties, receipt-freeness and verifiability properties contradict each other. So, this paper aims to describe a voting protocol that satisfies both properties simultaneously without effecting security. And an electronic voting system is implemented and formally analyzed by using AVISPA tool.

引用

页码：1 / 8

页数：8

共 50 条

[1] Formal Verification of Wireless Sensor Key Exchange Protocol using AVISPA
Kasraoui, Mohamed
Cabani, Adnane
Chafouk, Houcine
[J]. 2014 INTERNATIONAL SYMPOSIUM ON COMPUTER, CONSUMER AND CONTROL (IS3C 2014), 2014, : 387 - 390
[2] A Design of Practical Electronic Voting Protocol
Guan, ShiJie
[J]. ADVANCES IN ELECTRONIC COMMERCE, WEB APPLICATION AND COMMUNICATION, VOL 2, 2012, 149 : 139 - 146
[3] Formal Verification of Secure Evidence Collection Protocol using BAN Logic and AVISPA
Yogesh, Patil Rachana
Satish, Devane R.
[J]. INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND DATA SCIENCE, 2020, 167 : 1334 - 1344
[4] Design of an Enhanced Authentication Protocol and Its Verification using AVISPA
Amin, Ruhul
Islam, S. K. Hafizul
Karati, Arijit
Biswas, G. P.
[J]. 2016 3RD INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN INFORMATION TECHNOLOGY (RAIT), 2016, : 404 - 409
[5] Formal Privacy Analysis of an Electronic Voting Scheme
Liu, Xinxin
Tang, Shaohua
[J]. 2008 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY, VOLS 1 AND 2, PROCEEDINGS, 2008, : 846 - 850
[6] A Formal Analysis of the Norwegian E-voting Protocol
Cortier, Veronique
Wiedling, Cyrille
[J]. PRINCIPLES OF SECURITY AND TRUST, POST 2012, 2012, 7215 : 109 - 128
[7] A formal analysis of the Neuchatel e-voting protocol
Cortier, Veronique
Galindo, David
Turuani, Mathieu
[J]. 2018 3RD IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY (EUROS&P 2018), 2018, : 430 - 442
[8] Formal analysis of an electronic voting system: An experience report
Weldemariam, Komminist
Kemmerer, Richard A.
Villafiorita, Adolfo
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2011, 84 (10) : 1618 - 1637
[9] An elementary electronic voting protocol using RFID
Li, Xiangdong
Carlisle, Michael
Kwan, Andis C.
Leung, Lin
Enemuo, Amara
Anshel, Michael
[J]. 2007 IEEE INFORMATION ASSURANCE WORKSHOP, 2007, : 234 - +
[10] Automated Security Protocol Analysis With the AVISPA Tool
Vigano, Luca
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 155 : 61 - 86

← 1 2 3 4 5 →