UPM Institutional Repository

Specifying voting protocol using CSP


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. .


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.

Download File

[img] PDF
Restricted to Repository staff only

Download (168kB)

Additional Metadata

Item Type: Conference or Workshop Item (Paper)
Divisions: Faculty of Computer Science and Information Technology
Keywords: Voting protocol; Formal specification CSP
Depositing User: Nabilah Mustapa
Date Deposited: 07 Sep 2017 04:31
Last Modified: 07 Sep 2017 04:31
URI: http://psasir.upm.edu.my/id/eprint/57082
Statistic Details: View Download Statistic

Actions (login required)

View Item View Item