A Formal Analysis of Fraud in Banking Sector | IEEE Conference Publication | IEEE Xplore