Subscribe Now Subscribe Today
Science Alert
 
Blue
   
Curve Top
Information Technology Journal
  Year: 2011 | Volume: 10 | Issue: 8 | Page No.: 1468-1483
DOI: 10.3923/itj.2011.1468.1483
 
Facebook Twitter Digg Reddit Linkedin StumbleUpon E-mail

Automated Proof of Resistance of Denial of Service Attacks in Remote Internet Voting Protocol with Extended Applied Pi Calculus

Wei Huang and Bo Meng

Abstract:
Secure remote internet voting protocols play an important role in electronic government. Owning to the huge damage and hard to prevention of denial of service attacks in security protocols, resistance of denial of service attacks occupy a tiny space and is intricate security requirements for remote voting protocols. Meng protocol is one of the most important remote internet voting protocols that claims to satisfy formal definitions of key properties. In this study firstly the review of the formal model of resistance of denial of service attacks in security protocol are introduced. Then extended applied pi calculus, the mechanized proof tool ProVerif and Huang’s formal model are examined. After that Meng protocol is modeled in extended applied pi calculus. Finally resistance of denial of service attacks is analyzed with ProVerif. The results we obtain are that Meng protocol is not resistance of denial of service attack because one denial of service attacks is found by us. At the same time we give the method against the denial of service attack. To our best knowledge we are conducting the first mechanized proof of resistance of denial of service attacks in Meng protocol for an unbounded number of honest and corrupted voters.
PDF Fulltext XML References Citation Report Citation
 RELATED ARTICLES:
  •    Effectiveness of Security Tools to Anomalies on Tunneled Traffic
  •    Applying SMV for Security Protocol Verification
  •    A Critical Review of Receipt-Freeness and Coercion-Resistance
  •    A Secure Non-Interactive Deniable Authentication Protocol with Strong Deniability Based on Discrete Logarithm Problem and its Application on Internet Voting Protocol
  •    A Survey on Analysis of Selected Cryptographic Primitives and Security Protocols in Symbolic Model and Computational Model
How to cite this article:

Wei Huang and Bo Meng, 2011. Automated Proof of Resistance of Denial of Service Attacks in Remote Internet Voting Protocol with Extended Applied Pi Calculus. Information Technology Journal, 10: 1468-1483.

DOI: 10.3923/itj.2011.1468.1483

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

COMMENT ON THIS PAPER
 
 
 

 

 
 
 
 
 
 
 
 
 

 
 
 
 
 

Curve Bottom