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...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Language: | English |
| Published: |
2012
|
| Online Access: | http://psasir.upm.edu.my/id/eprint/57082/ http://psasir.upm.edu.my/id/eprint/57082/1/PaperMySEC%2712%28Ainita%26Zarina%29.pdf |
| _version_ | 1848853264659906560 |
|---|---|
| author | Ban, Ainita Shukur, Zarina |
| author_facet | Ban, Ainita Shukur, Zarina |
| author_sort | Ban, Ainita |
| building | UPM Institutional Repository |
| collection | Online Access |
| 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. 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. |
| first_indexed | 2025-11-15T10:51:13Z |
| format | Conference or Workshop Item |
| id | upm-57082 |
| institution | Universiti Putra Malaysia |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-15T10:51:13Z |
| publishDate | 2012 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | upm-570822017-09-07T04:31:00Z http://psasir.upm.edu.my/id/eprint/57082/ Specifying voting protocol using CSP 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. 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. 2012 Conference or Workshop Item PeerReviewed application/pdf en http://psasir.upm.edu.my/id/eprint/57082/1/PaperMySEC%2712%28Ainita%26Zarina%29.pdf Ban, Ainita and Shukur, Zarina (2012) Specifying voting protocol using CSP. In: 6th Malaysian Software Engineering Conference (MySec'12), 4-5 Dec. 2012, Bangi, Selangor. . |
| spellingShingle | Ban, Ainita Shukur, Zarina Specifying voting protocol using CSP |
| title | Specifying voting protocol using CSP |
| title_full | Specifying voting protocol using CSP |
| title_fullStr | Specifying voting protocol using CSP |
| title_full_unstemmed | Specifying voting protocol using CSP |
| title_short | Specifying voting protocol using CSP |
| title_sort | specifying voting protocol using csp |
| url | http://psasir.upm.edu.my/id/eprint/57082/ http://psasir.upm.edu.my/id/eprint/57082/1/PaperMySEC%2712%28Ainita%26Zarina%29.pdf |