
	Information Technology Journal
	Year: 2008 \| Volume: 7 \| Issue: 8 \| Page No.: 1133-1140 DOI: 10.3923/itj.2008.1133.1140

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

Bo Meng

Abstract: 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

RELATED ARTICLES:

•	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

URL: https://scialert.net/abstract/?doi=itj.2008.1133.1140

COMMENT ON THIS PAPER

Navigation


		Online First
		Current Issue
		Previous Issues
		Editorial Board
		Submit a Manuscript
		Guide to Authors
		Subscribe to E-alerts

Indexed In


		ASCI-Database
		Asian Digital Library
		Google Scholar

Science Alert