Formalizing voting protocol in process algebra
Electronic voting can be seen as one of the best alternatives of today’s election for it will provide many advantages such as efficient and accurate data management and accumulation as well as convenience to voters. In order to gain confidence and trust among people to implement electronic voting sy...
Saved in:
Main Authors: | , |
---|---|
Format: | Article |
Published: |
Praise Worthy Prize
2014
|
Online Access: | http://psasir.upm.edu.my/id/eprint/37702/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
my.upm.eprints.37702 |
---|---|
record_format |
eprints |
spelling |
my.upm.eprints.377022015-09-15T12:12:30Z http://psasir.upm.edu.my/id/eprint/37702/ Formalizing voting protocol in process algebra Ban, Ainita Shukur, Zarina Electronic voting can be seen as one of the best alternatives of today’s election for it will provide many advantages such as efficient and accurate data management and accumulation as well as convenience to voters. In order to gain confidence and trust among people to implement electronic voting system, a formal method is chosen. Formal method has been proven successfully in verifying properties. This paper presents work of specifying voting protocol formally using CSP (Communicating Sequential Process). We demonstrated the work on two voting. The first protocol was using blind signature based while the second was blind signature and threshold IBE (Identity Based Encryption) scheme. The specification will be used in verifying properties of voting protocol in later work. Praise Worthy Prize 2014 Article PeerReviewed Ban, Ainita and Shukur, Zarina (2014) Formalizing voting protocol in process algebra. International Journal on Numerical and Analytical Methods in Engineering, 2 (2). pp. 28-32. ISSN 2281-7026; ESSN: 2281-7034 |
institution |
Universiti Putra Malaysia |
building |
UPM Library |
collection |
Institutional Repository |
continent |
Asia |
country |
Malaysia |
content_provider |
Universiti Putra Malaysia |
content_source |
UPM Institutional Repository |
url_provider |
http://psasir.upm.edu.my/ |
description |
Electronic voting can be seen as one of the best alternatives of today’s election for it will provide many advantages such as efficient and accurate data management and accumulation as well as convenience to voters. In order to gain confidence and trust among people to implement electronic voting system, a formal method is chosen. Formal method has been proven successfully in verifying properties. This paper presents work of specifying voting protocol formally using CSP (Communicating Sequential Process). We demonstrated the work on two voting. The first protocol was using blind signature based while the second was blind signature and threshold IBE (Identity Based Encryption) scheme. The specification will be used in verifying properties of voting protocol in later work. |
format |
Article |
author |
Ban, Ainita Shukur, Zarina |
spellingShingle |
Ban, Ainita Shukur, Zarina Formalizing voting protocol in process algebra |
author_facet |
Ban, Ainita Shukur, Zarina |
author_sort |
Ban, Ainita |
title |
Formalizing voting protocol in process algebra |
title_short |
Formalizing voting protocol in process algebra |
title_full |
Formalizing voting protocol in process algebra |
title_fullStr |
Formalizing voting protocol in process algebra |
title_full_unstemmed |
Formalizing voting protocol in process algebra |
title_sort |
formalizing voting protocol in process algebra |
publisher |
Praise Worthy Prize |
publishDate |
2014 |
url |
http://psasir.upm.edu.my/id/eprint/37702/ |
_version_ |
1643832048392077312 |
score |
13.18916 |