Return to Article Details Risk Assessment For Atm Using Algebra of Logics