SSMBP: A secure SMS-based mobile banking protocol with formal verification | IEEE Conference Publication | IEEE Xplore