SSMBP: A secure SMS-based mobile banking protocol with formal verification. - Bojjagani, Sriramulu; Sastry, V. N. (2015)