Specification of electronic voting protocol properties using ADM logic: FOO case study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5308 LNCS, Issue , 2008, Pages 403-418

  Talbi, Mehdi ^a,b   Morin, Benjamin ^a   Viet Triem Tong, Valérie ^a   Bouhoula, Adel ^b   Mejri, Mohamed ^c  

^a SUPELEC Campus de Rennes   (France)

^b UNIVERSITY OF CARTHAGE   (Tunisia)

^c UNIVERSITÉ LAVAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL SPECIFICATION; MODEL CHECKING; NUCLEAR REACTORS; VOTING MACHINES;

CRITICAL SYSTEMS; EFFICIENT IMPLEMENTATION; ELECTRONIC VOTING PROTOCOLS; INDIVIDUAL VERIFIABILITY; LOCAL MODEL CHECKING; PROOF SYSTEM; SECURITY PROPERTIES; UNIVERSAL VERIFIABILITY;

ELECTRONIC VOTING;

EID: 57049135194     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88625-9_27     Document Type: Conference Paper

References (21)

1. Fujioka, A., Okamoto, T., Ohta, K.: A practical secret voting scheme for large scale elections. In: Seberry, J., Zheng, Y. (eds.) ASIACRYPT 1992. LNCS, vol. 718, pp. 244-251. Springer, Heidelberg (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. Okamoto, T.: Receipt-Free Electronic Voting Schemes for Large Scale Elections. In: Christianson, B., Lomas, M. (eds.) Security Protocols 1997. LNCS, vol. 1361, pp. 25-35. Springer, Heidelberg (1998)
4. Benaloh, J.C.: Verifiable secret-ballot elections. PhD thesis, Yale University (1987)
5. Hirt, M., Sako, K.: Efficient receipt-free voting based on homomorphic encryption. In: Preneel, B. (ed.) EUROCRYPT 2000. LNCS, vol. 1807, pp. 539-556. Springer, Heidelberg (2000)
6. Adi, K., Debbabi, M., Mejri, M.: A new logic for electronic commerce protocols. Theoretical Computer Science 291(3), 223-283 (2003)
7. Stirling, C: Modal and temporal logics for processes. In: Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency: structure versus automata, pp. 149-237. Springer, Heidelberg (1996)
8. Baskar, A., Ramanujam, R., Suresh, S.P.: Knowledge-based modelling of voting protocols. In: Proceedings of TARK 2007, pp. 62-71. ACM, New York (2007)
9. Chothia, T., Orzan, S., Pang, J., Dashti, M.T.: A framework for automatically checking anonymity with μ-CRL. In: TGC, pp. 301-318 (2006)
10. Delaune, S., Kremer, S., Ryan, M.: Coercion-resistance and receipt-freeness in electronic voting. In: Proceedings of CSFW 2006, pp. 28-42. IEEE Computer Society, Los Alamitos (2006)
11. Eijck, J.V., Orzan, S.: Epistemic verification of anonymity. Electronic Notes in Theoretical Computer Science 168, 159-174 (2007)
12. Jonker, H., Pieters, W.: Receipt-freeness as a special case of anonymity in epistemic logic. In: IAVoSS Workshop On Trustworthy Elections - WOTE 2006 (2006)
13. Kremer, S., Ryan, M.: Analysis of an electronic voting protocol in the applied Pi calculus. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 186-200. Springer, Heidelberg (2005)
14. Mauw, S., Verschuren, J., de Vink, E.P.: Data anonymity in the FOO voting scheme. Electronic Notes in Theoretical Computer Science 168, 5-28 (2007)
15. Bergstra, J.A., Klop, J.W.: Algebra of communicating processes with abstraction. Theoritical Computer Science 37, 77-121 (1985)
16. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. ACM SIGPLAN Notices 36(3), 104-115 (2001)
17. Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (1999)
18. Pratt, V.R.: Application of modal logic to programming. Studia Logica 39(2-3), 257-274 (1980)
19. Chaum, D.: Untraceable electronic mail, return addresses, and digital pseudonyms. Communications of the ACM 24(2), 84-90 (1981)
20. Paulson, L.C.: The inductive approach to verifying cryptographic protocols. Journal of Computer Security 6(1-2), 85-128 (1998)
21. Dolev, D., Yao, A.C.C.: On the security of public key protocols. IEEE Transactions on Information Theory 29(2), 198-207 (1981)