Development of A Formal Security Model for Electronic Voting Systems

Publisher： IGI Global_journal

E-ISSN： 1930-1669|7|2|1-28

ISSN： 1930-1650

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

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

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

ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems

By Xu H.  

Automated Software Engineering, Vol. 10, Iss. 4, 2003-10 ,pp. : 337-365

Springer Publishing Company

Access to resources Recommend Favorite

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

By  

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

IGI Global_journal

Access to resources Recommend Favorite

Improving security in computational electronic mail systems

By Foo Schubert   Leong Peng Chor   Sng Yee Nam  

Information Management & Computer Security, Vol. 5, Iss. 3, 1997-03 ,pp. : 102-110

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Formal security analysis of Ariadne secure routing protocol using model checking

By Onem E.   Gü A. Burak     Ç M. Ufuk      

International Journal of Ad Hoc and Ubiquitous Computing, Vol. 9, Iss. 1, 2012-02 ,pp. : 12-24

Inderscience Publishers

Access to resources Recommend Favorite