Formal analysis of an electronic voting system: An experience report-Reference-Cited by-同舟云学术

Formal analysis of an electronic voting system: An experience report

Published:2011-10 Issue:10 Volume:84 Page:1618-1637
ISSN:0164-1212
Container-title:Journal of Systems and Software
language:en
Short-container-title:Journal of Systems and Software

Author:

Weldemariam Komminist,Kemmerer Richard A.,Villafiorita Adolfo

Publisher

Elsevier BV

Subject

Hardware and Architecture,Information Systems,Software

Reference61 articles.

1. Mobile values new names and secure communication;Abadi;SIGPLAN Notices,2001

2. The B-book: Assigning Programs to Meanings;Abrial,1996

3. Evaluating electronic voting systems equipped with voter-verified paper records;Ansari;IEEE Security and Privacy,2008

4. Security evaluation of ES&S voting machines and election management system;Aviv,2008

5. Backes, M., Hritcu, C., Maffei, M., 2008. Automated verification of remote electronic voting protocols in the applied pi-calculus. In: CSF, IEEE, ISBN 978-0-7695-3182-3, pp. 195–209.

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Verification and Implementation of an E-Voting System;International Journal of Software Innovation;2022-09-30

2. EVMFFR: Electronic Voting Machine with Fingerprint and Facial Recognition;2022 Second International Conference on Next Generation Intelligent Systems (ICNGIS);2022-07-29

3. Anonymous and formally verified dual signature based online e-voting protocol;Cluster Computing;2018-02-24

4. Formal modeling and verification of security controls for multimedia systems in the cloud;Multimedia Tools and Applications;2017-07-07

5. An Extension and Validation of the Task-Technology Fit: A Case of a Mobile Phone Voting System;Lecture Notes in Computer Science;2015