Subscribe Now Subscribe Today
Science Alert
 
FOLLOW US:     Facebook     Twitter
Blue
   
Curve Top
Information Technology Journal
  Year: 2012 | Volume: 11 | Issue: 7 | Page No.: 741-750
DOI: 10.3923/itj.2012.741.750
 
Facebook Twitter Digg Reddit Linkedin StumbleUpon E-mail
Automatic Formal Framework of Coercion-resistance in Internet Voting Protocols with CryptoVerif in Computational Model
Bo Meng

Abstract:
Automatic proof for internet voting protocols is a hotspot issue in security protocol world. To our best knowledge, until now analysis of coercion-resistance and internet voting protocols with automatic tool in computational model does not exist. So in this study, we initiatively proposed the automatic framework of coercion-resistance and internet voting protocols based on computational model with active adversary. In the proposed framework observational equivalence is used to formalize coercion-resistance. At the same time we propose a method to prove the observational equivalence between the two processes have the same structure and differ only by the terms and term evaluations with mechanized tool CryptoVerif. Based on the proposed method to prove with CryptoVerif the observational equivalence, the proposed mechanized framework can be used to automatically analyze coercion-resistance of internet voting protocols with CryptoVerif.
PDF Fulltext XML References Citation Report Citation
 RELATED ARTICLES:
  •    Security Mechanism in Computer Network Environment: A Study of Adoption Status in Malaysian Company
  •    Modeling and Combining Access Control Policies Using Constrained Policy Graph (CPG)
  •    Multi Touch Graphical Password: Usability Features
  •    Formal Analysis of Key Properties in the Internet Voting Protocol Using Applied Pi Calculus
How to cite this article:

Bo Meng , 2012. Automatic Formal Framework of Coercion-resistance in Internet Voting Protocols with CryptoVerif in Computational Model. Information Technology Journal, 11: 741-750.

DOI: 10.3923/itj.2012.741.750

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

 
COMMENT ON THIS PAPER
 
 
 

 

 
 
 
 
 
 
 
 
 

 
 
 
 
 

       

       

Curve Bottom