A cryptographically sound Dolev-Yao style security proof of an electronic payment system | IEEE Conference Publication | IEEE Xplore