A scheme for analyzing electronic payment systems | IEEE Conference Publication | IEEE Xplore