共 50 条
- [1] NFC Secure Payment and Verification Scheme for Mobile Payment WIRELESS ALGORITHMS, SYSTEMS, AND APPLICATIONS, WASA 2016, 2016, 9798 : 116 - 125
- [2] Source code verification of a secure payment applet JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2004, 58 (1-2): : 107 - 120
- [4] Towards secure mobile payment based on SIP FIFTEENTH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2008, : 96 - 104
- [5] Formal verification of Cardholder Registration in SET COMPUTER SECURITY - ESORICS 2000, PROCEEDINGS, 2000, 1895 : 159 - 174
- [9] A Secure Mobile Payment Protocol for Handling Accountability with Formal Verification 35TH INTERNATIONAL CONFERENCE ON INFORMATION NETWORKING (ICOIN 2021), 2021, : 249 - 254
- [10] Towards a framework for more robust validation and verification of simulation models for systems of systems JOURNAL OF DEFENSE MODELING AND SIMULATION-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS, 2016, 13 (01): : 3 - 16