Provably Secure Integrated On/Off-Line Electronic Cash for Flexible and Efficient Payment | IEEE Journals & Magazine | IEEE Xplore