A Formal Analysis of Fraud in Banking Sector. - Partha Saha; N. Parameswaran; Binay Bhushan Chakraborty; Ambuj Mahanti (HICSS, 2013)