This Lab05 Verification of Network Security lecture of Lancaster University
The backend code of this bank query is here.