A new mobile payment system with formal verification

ISSN： 1748-569X

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

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 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

Towards a trustworthy short-range mobile payment system

By Daskapan Semir Berg Jan Van den Ali-Eldin Amr

International Journal of Information Technology and Management, Vol. 9, Iss. 3, 2010-01 ,pp. : 317-336

Inderscience Publishers

Access to resources Recommend Favorite

What are the Keys to a Successful Mobile Payment System? Case of Cytizi: Mobile Payment System

Journal of Global Information Management (JGIM), Vol. 24, Iss. 3, 2016-07 ,pp. : 1-20

IGI Global_journal

Access to resources Recommend Favorite

An integrated identity verification system for mobile terminals

By Mazhelis Oleksiy Markkula Jouni Veijalainen Jari

Information Management & Computer Security, Vol. 13, Iss. 5, 2005-05 ,pp. : 367-378

Emerald Group Publishing Ltd

Access to resources Recommend Favorite