Volume 4 Number 3 (Mar. 2009)
Home > Archive > 2009 > Volume 4 Number 3 (Mar. 2009) >
JCP 2009 Vol.4(3): 184-192 ISSN: 1796-203X
doi: 10.4304/jcp.4.3.184-192

A Formal Logic Framework for Receipt-freeness in Internet Voting Protocol

Bo Meng
School of Computer, South-Center University for Nationalities, Wuhan, China
Abstract—The practical Internet voting protocols should have: privacy, completeness, soundness, unreusability, fairness, eligibility, and invariableness, universal verifiability, receipt-freeness, coercion-resistant. Receiptfreeness is a key property. Receipt-freeness means that the voter can't produce a receipt to prove that he votes a special ballot. Its purpose is to protect against vote buying. Formal method is an important tool to assess receipt-freeness of Internet voting protocols. In this paper we give a formal logic framework for receipt-freeness based on V. Kessler and H. Neumann logic. The framework is then applied to analyze receipt-freeness of two typical voting protocols: FOO and Meng Internet voting protocol.

Index Terms—Logic framework, internet voting protocol, formal method, receipt-freeness, protocol security, electronic government.

[PDF]

Cite: Bo Meng, "A Formal Logic Framework for Receipt-freeness in Internet Voting Protocol," Journal of Computers vol. 4, no. 3, pp. 184-192, 2009.

General Information

ISSN: 1796-203X
Abbreviated Title: J.Comput.
Frequency: Monthly
Editor-in-Chief: Prof. Liansheng Tan
Executive Editor: Ms. Nina Lee
Abstracting/ Indexing: DBLP, EBSCO,  ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, CNKI,etc
E-mail: jcp@iap.org
  • Jul 19, 2019 News!

    Vol 14, No 7 has been published with online version   [Click]

  • Jun 21, 2019 News!

    Vol 14, No 6 has been published with online version   [Click]

  • Apr 28, 2019 News!

    Vol 14, No 5 has been published with online version 7 papers are published in this issue after peer review   [Click]

  • Mar 20, 2019 News!

    Vol 14, No 3 has been published with online version   [Click]

  • Feb 22, 2019 News!

    Vol 14, No 2 has been published with online version 8 papers are published in this issue after peer review   [Click]

  • Read more>>