Accountability logic for mobile payment protocols | IEEE Conference Publication | IEEE Xplore