An Off-Line Mobile Payment Protocol Providing Double-Spending Detection | IEEE Conference Publication | IEEE Xplore