Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study-Reference-Cited by-同舟云学术

Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study

Published:2008 Issue: Volume: Page:403-418
ISSN:0302-9743
Container-title:Information and Communications Security
language:
Short-container-title:

Author:

Talbi Mehdi,Morin Benjamin,Viet Triem Tong Valérie,Bouhoula Adel,Mejri Mohamed

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-88625-9_27

Reference21 articles.

1. Lecture Notes in Computer Science;A. Fujioka,1993

2. Juang, W.S., Lei, C.L.: A secure and practical electronic voting scheme for real world environments. TIEICE: IEICE Transactions on Communications/Electronics/Information and Systems (1997)

3. Lecture Notes in Computer Science;T. Okamoto,1998

4. Benaloh, J.C.: Verifiable secret-ballot elections. PhD thesis, Yale University (1987)

5. Lecture Notes in Computer Science;M. Hirt,2000

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

1. Verification of Verifiability of Voting Protocols by Strand Space Analysis;Proceedings of the 2019 8th International Conference on Software and Computer Applications;2019-02-19

2. Privacy and verifiability in voting systems: Methods, developments and trends;Computer Science Review;2013-11

3. Development of A Formal Security Model for Electronic Voting Systems;International Journal of Information Security and Privacy;2013-04

4. A Formal Model for the Requirement of Verifiability in Electronic Voting by Means of a Bulletin Board;E-Voting and Identify;2013

5. Clash Attacks on the Verifiability of E-Voting Systems;2012 IEEE Symposium on Security and Privacy;2012-05