These inadequacies provide additional motivation for applying formal methods to the validation of electronic voting protocols. In this paper we report on some of our recent efforts in using the applied pi calculus to model and analyse properties of electronic elections.
We particularly focus on anonymity properties, namely vote-privacy and receipt-freeness. These properties are expressed using observational equivalence and we show in accordance with intuition that receipt-freeness implies vote-privacy. We illustrate our definitions on two electronic voting protocols from the literature.
Towards Trustworthy Elections
You can select only upto 4 items to compare. View Order. Free Installation. Hover to zoom. Sold Out! Be the first to review. We will let you know when in stock. Thank you for your interest You will be notified when this product will be in stock. I agree to the. Terms and Conditions. How It Works? IMEI Number.
Exchange Discount Summary. Exchange Discount -Rs.
On the Development of Electronic Voting: A Survey
Final Price Rs. Apply Exchange. This state-of-the-art survey examines the challenges to establishing a trustworthy electronic voting system. Coverage ranges from foundational and theoretical aspects of cryptography, to algorithms and systems, to real-world applications of technology. The images represent actual product though color of the image and product may slightly differ.
sheersnstuff.com/buw-cell-telegram.php Was this information helpful to you? Yes No.
- Quaternary Dating Methods?
- Unicorn School: The Treasure Hunt: The Treasure Hunt.
- Partitioned Representations: A Study in Mental Representation, Language Understanding and Linguistic Structure (Studies in Cognitive Systems).
Thank You for submitting your response. Customer Product Selfies.
Sold by. New Seller. Sell on Snapdeal.
Explore More Software Design Books. Easy Return Policy. Help Center Got a question?
Related Towards Trustworthy Elections: New Directions in Electronic Voting
Copyright 2019 - All Right Reserved