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: Ban, Ainita, Shukur, Zarina
פורמט: Conference or Workshop Item
שפה:English
יצא לאור: 2012
גישה מקוונת:http://psasir.upm.edu.my/id/eprint/57082/1/PaperMySEC%2712%28Ainita%26Zarina%29.pdf