Specifying voting protocol using CSP

QR Code

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

Full description

Bibliographic Details
Main Authors:	Ban, Ainita, Shukur, Zarina
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

Similar Items

Formalizing voting protocol in process algebra
by: Ban, Ainita, et al.
Published: (2014)

Blockchain-based electronic voting protocol
by: Clement, Chan Zheng Wei, et al.
Published: (2018)

Unreliable Network Re-Authentication Protocol Based On Hybrid Key Using CSP Approach.
by: Ramadass, Sureswaran, et al.
Published: (2007)

Specifying a recovery model for survivable system
by: Azween, Abdullah, et al.
Published: (2007)

Concrete Part-2: Method of specifying and guidance
by: Shafiq, N.
Published: (2011)

An attribute grammar approach to specifying Halstead's metrics
by: Abd Ghani, Abdul Azim, et al.
Published: (1996)

Active search in intensionally specified structured spaces
by: Oglic, Dino, et al.
Published: (2017)

CSP202-CSP204 - PENGKOMPUTERAN SAINTIFIK - APRIL 1987.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1987)

Gap analysis in specifying porting requirements for mobile application
by: Rajadorai, Kesava Pillai, et al.
Published: (2016)

Corrosion Protection Coatings from Size-Specified Graphene Oxide
by: Nurul Huda, Abu Bakar, et al.
Published: (2020)

Medical image segmentation using Fuzzy C-Mean (FCM) and user specified data
by: Balafar, Mohammad Ali, et al.
Published: (2010)

Using biologically plausible neural models to specify the functional and neural mechanisms of visual search
by: Humphreys, Glyn W., et al.
Published: (2009)

Requirements patterns structure for specifying and reusing software product line requirements
by: Ya'au, Badamasi Imam, et al.
Published: (2018)

Specifying a target population: the case of the Malaysian public relations practitioners
by: Syed Arabi Idid,
Published: (1992)

EEG Brain Waves Pattern Analysis on the Specified Human Daily Activity
by: Nurul Hidayah, Saifuddin, et al.
Published: (2013)

How to specify, estimate, and validate higher-order constructs in PLS-SEM
by: Sarstedt, Marko, et al.
Published: (2019)

Refinement in integrated specifications of CSP-OZ
by: Azman Bujang, Masli, et al.
Published: (2015)

CSP 101 - Pengantar Sains Komputeran
by: PPSM, Pusat Pengajian Sains Matematik
Published: (1988)

A User-Centered Taxonomy for Specifying Mixed Reality Systems for AEC Industry
by: Wang, Xiangyu, et al.
Published: (2011)

Analisa faktor kecacatan pada usia bangunan masjid terapung : aplikasi matriks Condition Survey Protocol (CSP) 1
by: E.M. Mazlan,, et al.
Published: (2017)

Sustainable Planning: Specifying Stakeholders’ Preferences in Redevelopment Decisions for Conservation Area in Kuala Lumpur
by: Wan Abdullah Zawawi, Noor Amila, et al.
Published: (2010)

CSP301 - BAHASA PEMPROGRAMAN - OKTOBER 1988.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1988)

CSP301 - BAHASA PROGRAMAN - JUN 1987.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1987)

CSP301 - BAHASA PROGRAMAN - JUN 1989.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1989)

CSP301 - BAHASA PROGRAMAN - JUN 1994.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1994)

CSP401 - GRAFIK KOMPUTER - OKTOBER 1988.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1988)

CSP402 - KECERDASAN BUATAN - APRIL 1987.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1987)

CSP402 - KECERDASAN BUATAN - OKTOBER 1988.
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1988)

CSP 102 - Algoritma & Struktur Data I
by: PPSM, Pusat Pengajian Sains Matematik
Published: (1988)

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

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

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

Mixed features specifier in mood disorder: The prevalence and associated factors / Tesini M. Paramannantha Veloo
by: Tesini, M. Paramannantha Veloo
Published: (2020)

A turn towards specifying validity criteria in the measurement of technological pedagogical content knowledge (TPACK)
by: Cavanagh, Robert, et al.
Published: (2013)

Geometry-specified troposphere decorrelation for subcentimeter real-time kinematic solutions over long baselines
by: Li, Bofeng, et al.
Published: (2010)

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

Mxene enrich concentration solar power (CSP) coolant
by: Kadirgama, Kumaran, et al.
Published: (2021)

CSP 102 - ALGORITMA & STRUKTUR DATA JUN 1990
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1990)

CSP 301 - BAHASA PEMPROGRAMAN OKT-NOV 1989
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1989)

CSP 401 - GRAFIK KOMPUTER OKT-NOV 1989
by: PPSKOM, Pusat Pengajian Sains Komputer
Published: (1989)