Specifying voting protocol using CSP
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. This paper presents work of specifying voting protocol formally using CSP (Communica...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | en |
| Published: |
2012
|
| Online Access: | http://psasir.upm.edu.my/id/eprint/57082/1/PaperMySEC%2712%28Ainita%26Zarina%29.pdf http://psasir.upm.edu.my/id/eprint/57082/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. This paper presents work of specifying voting protocol formally using CSP (Communicating Sequential Process). The specification will be used in verifying properties of voting protocol. |
|---|