Security Analysis and Verification of Authenticated Mobile Payment Protocols | IEEE Conference Publication | IEEE Xplore