Formal Verification of Secrecy, Coercion Resistance and Verifiability Properties for a Remote Electronic Voting Protocol

Publisher： IGI Global_journal

E-ISSN： 1930-1669|7|2|57-85

ISSN： 1930-1650

Source： International Journal of Information Security and Privacy (IJISP), Vol.7, Iss.2, 2013-04, pp. : 57-85

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Formal and semi-formal verification of a web voting system

By CristiaMaximilianoCIFASIS and UNR   Rosario   Argentina   FrydmanClaudiaLSIS-CIFASIS   Marseille   France  

International Journal of Web Information Systems, Vol. 11, Iss. 2, 2015-06 ,pp. : 183-204

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Formal verification of a leader election protocol in process algebra

By Fredlund L.-a.   Groote J.F.   Korver H.  

Theoretical Computer Science, Vol. 177, Iss. 2, 1997-05 ,pp. : 459-486

Elsevier

Access to resources Recommend Favorite

Development of A Formal Security Model for Electronic Voting Systems

By  

International Journal of Information Security and Privacy (IJISP), Vol. 7, Iss. 2, 2013-04 ,pp. : 1-28

IGI Global_journal

Access to resources Recommend Favorite

Will remote electronic voting systems increase participation?

By Houston Andrea L.   Yao Yurong   Okoli Chitu   Watson Edward  

Electronic Government, an International Journal, Vol. 2, Iss. 3, 2005-09 ,pp. : 353-368

Inderscience Publishers

Access to resources Recommend Favorite

Suitable Properties for Any Electronic Voting System

By Koning Jean-Luc  

Artificial Intelligence and Law, Vol. 14, Iss. 4, 2006-12 ,pp. : 251-260

Springer Publishing Company

Access to resources Recommend Favorite