Submit Manuscript

Information Technology Journal

Year: 2009 | Volume: 8 | Issue: 7 | Page No.: 934-964
Facebook Twitter Digg Reddit Linkedin StumbleUpon E-mail

Article Trend

Total views 900

Search

Authors

Bo Meng

Keywords

Research Article

A Critical Review of Receipt-Freeness and Coercion-Resistance

Bo Meng
In this study, we first briefly introduce the development status of core cryptographic primitives related to implementation of receipt-freeness and coercion-resistance. These core cryptographic primitives consist of blind signature, deniable encryption, mix net/verifiable shuffles, designated verifier proof/signature, knowledge proof protocol, plaintext equivalence test, secure multi-party computation and deniable authentication protocol. Then, a typical deniable encryption scheme is analyzed and improved. Moreover, the state-of-art of receipt-freeness and coercion-resistance, based on the internet voting model proposed by us, is presented. Finally, the status in quo of formal analysis of receipt-freeness and coercion-resistance is discussed.
PDF Fulltext XML References Citation

Related Articles

Automatic Formal Framework of Coercion-resistance in Internet Voting Protocols with CryptoVerif in Computational Model
Automatic Verification of Security Properties of Remote Internet Voting Protocol in Symbolic Model
Automated Proof of Resistance of Denial of Service Attacks in Remote Internet Voting Protocol with Extended Applied Pi Calculus
Refinement of Mechanized Proof of Security Properties of Remote Internet Voting Protocol in Applied PI Calculus with Proverif
A Survey on Analysis of Selected Cryptographic Primitives and Security Protocols in Symbolic Model and Computational Model
A Secure Non-Interactive Deniable Authentication Protocol with Strong Deniability Based on Discrete Logarithm Problem and its Application on Internet Voting Protocol
Formal Analysis of Key Properties in the Internet Voting Protocol Using Applied Pi Calculus

Leave a Comment

Your email address will not be published. Required fields are marked *