Formal and semi-formal verification of a web voting system

Author： CristiaMaximilianoCIFASIS and UNR   Rosario   Argentina   FrydmanClaudiaLSIS-CIFASIS   Marseille   France  

Publisher： Emerald Group Publishing Ltd

E-ISSN： 1744-0092|11|2|183-204

ISSN： 1744-0084

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

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 Verification for Embedded System Designs

By Chen Xi   Hsieh Harry   Balarin Felice   Watanabe Yosinori  

Design Automation for Embedded Systems, Vol. 8, Iss. 2-3, 2003-06 ,pp. : 139-153

Springer Publishing Company

Access to resources Recommend Favorite

A semi-formal approach to build the functional graph of an automated production system for supervision purposes

By Ghazel Mohamed  

International Journal of Computer Integrated Manufacturing, Vol. 19, Iss. 3, 2006-04 ,pp. : 234-247

Taylor & Francis Ltd

Access to resources Recommend Favorite

A new mobile payment system with formal verification

By Ahamad Shaik Shakeel  

International Journal of Internet Technology and Secured Transactions, Vol. 4, Iss. 1, 2012-01 ,pp. : 71-103

Inderscience Publishers

Access to resources Recommend Favorite

Coverage metrics for formal verification

By Chockler Hana   Kupferman Orna   Vardi Moshe  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 4-5, 2006-08 ,pp. : 373-386

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