Subscribe Now Subscribe Today
Science Alert
Curve Top
Information Technology Journal
  Year: 2008 | Volume: 7 | Issue: 8 | Page No.: 1133-1140
DOI: 10.3923/itj.2008.1133.1140
Facebook Twitter Digg Reddit Linkedin StumbleUpon E-mail

Formal Analysis of Key Properties in the Internet Voting Protocol Using Applied Pi Calculus

Bo Meng

The internet voting protocols is the core part of the internet voting system. In order to put the internet voting protocols into practice they should have several key properties, such as privacy, completeness, soundness, unreusability, fairness, eligibility and invariableness, universal verifiability, receipt-freeness and coercion-resistance. Formal method is an important tool to assess these properties. But most of these properties are analyzed with informal method. The applied pi calculus can be used to model and verify the security protocols, such as internet voting protocol. In this study, firstly, privacy and coercion-resistance properties are researched. Then a typical internet voting protocol is modeled with applied pi calculus. Thirdly privacy and coercion-resistance of the typical internet voting protocol are analyzed with applied pi calculus. According to the result of analysis the typical internet voting protocol has privacy and coercion-resistance properties.
PDF Fulltext XML References Citation Report Citation
  •    Automatic Formal Framework of Coercion-resistance in Internet Voting Protocols with CryptoVerif in Computational Model
  •    Formalizing Deniability
  •    A Critical Review of Receipt-Freeness and Coercion-Resistance
  •    Automatic Verification of Security Properties of Remote Internet Voting Protocol in Symbolic Model
How to cite this article:

Bo Meng , 2008. Formal Analysis of Key Properties in the Internet Voting Protocol Using Applied Pi Calculus. Information Technology Journal, 7: 1133-1140.

DOI: 10.3923/itj.2008.1133.1140






Curve Bottom