Formalizing voting protocol in process algebra

QR Code

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

Full description

Bibliographic Details
Main Authors:	Ban, Ainita, Shukur, Zarina
Format:	Article
Published:	Praise Worthy Prize 2014
Online Access:	http://psasir.upm.edu.my/id/eprint/37702/

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)

Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z
by: Zarina Shukur,, et al.
Published: (2009)

Back to manual voting
by: Rajaendram, Rebecca
Published: (2020)

Fishing for Malay votes
by: Abdul Rahim, Rahimi, et al.
Published: (2021)

Validation of Vote Counting Supervision Based on Vote Tally at West Bangka District
by: Ekariva Annas, Asmara, et al.
Published: (2022)

The interrelatedness of formal, non-formal and informal learning
by: Cameron, Roslyn, et al.
Published: (2012)

Undergrads depend on manifestos to vote
by: New Straits Times,
Published: (2012)

Move on no-confidence vote unlikely
by: Rahim, Rahimy
Published: (2020)

'Allow students to vote by post'
by: Harun, Hana Naz, et al.
Published: (2022)

Development of symbolic algorithms for certain algebraic processes
by: Abd. Rahman, Ali, et al.
Published: (2007)

Development of symbolic algorithms for certain algebraic processes
by: Abd. Rahman, Ali, et al.
Published: (2007)

Automated UML class diagram generation from textual requirements using NLP techniques
by: Meng, Yang, et al.
Published: (2024)

C*-algebras over arens algebras
by: Bekbaev, Dilmurad, et al.
Published: (2015)

Essays on the political economy of protest voting
by: Cefala, Edoardo
Published: (2022)

Why should majority voting be unfair?
by: Breitmoser, Yves, et al.
Published: (2017)

UMP students vote representatives this week
by: Nor Salwana, Mohammad Idris
Published: (2021)

Electronic Voting System: Preliminary Study
by: Ibrahim, Subariah, et al.
Published: (2000)

Secure E-Voting With Blind Signature
by: Ibrahim, Subariah, et al.
Published: (2003)

Formalization of ORM revisited
by: Halpin, Terry
Published: (2012)

Trends in Formal Assessment
by: M. McGrath, Dennis
Published: (1979)

Toward process control from formal models of transformable manufacturing systems
by: Bakker, Otto Jan, et al.
Published: (2017)

Synthesising process controllers from formal models of transformable assembly systems
by: de Silva, Lavindra, et al.
Published: (2019)

CPT443 – Automata Theory & Formal Languages (Teori Automata & Bahasa Formal)
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (2021)

The automorphism groups and derivation algebras of two-dimensional algebras
by: Houida, Ahmed, et al.
Published: (2018)

Group actions and their applications in associative algebras and algebraic statistics
by: Mohammed, Nadia Faiq
Published: (2017)

Enveloping lie algebras of low dimensional leibniz algebras.
by: Amini, Massoud, et al.
Published: (2011)

Ramsey Algebras: A Ramseyan Combinatorics For Universal Algebras
by: Teoh, Zu Yao
Published: (2018)

Voting behaviour and political culture among students
by: Omar, Muhamad Fuzi, et al.
Published: (2014)

Teaching case: Analysis of an electronic voting system
by: Thompson, Nik, et al.
Published: (2014)

Voting procedures and parliamentary representation in the European Parliament
by: Trumm, Siim
Published: (2015)

Links between family structure and voting in Australia
by: Charnock, David
Published: (2005)

Online voting system (ovs) on server site
by: Mohammad Haeri, Jaiman
Published: (2013)

Feasibility study on using MCDM for e-voting
by: Rozlina, Mohamed, et al.
Published: (2022)

892,537 people can vote in Sarawak
Published: (2009)

Voting trends in Bukit Selambau by-election Malaysia
by: Zakaria, Zaherawati, et al.
Published: (2009)

Academic performance prediction based on voting technique
by: Mohd Azmi, Muhammad Sufyian, et al.
Published: (2011)

An e-voting application using cryptography technology
by: Chin, Hsin Tien
Published: (2020)

UPM campus elections, vote using apps
by: China Press
Published: (2021)

Algebras whose right nucleus is a central simple algebra
by: Pumpluen, Susanne
Published: (2018)