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: | Ban, Ainita, Shukur, Zarina |
---|---|
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!
|
Similar Items
-
Specifying voting protocol using CSP
by: Ban, Ainita, et al.
Published: (2012) -
Blockchain-based electronic voting protocol
by: Clement, Chan Zheng Wei, et al.
Published: (2018) -
Formal Verification of the xDAuth Protocol
by: Alam, Q., et al.
Published: (2016) -
Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z
by: Zarina Shukur,, et al.
Published: (2009) -
Electronic Voting System (E-Voting) of MPPUTP Election
by: Amir, Ruzaini
Published: (2006)