Alpha Eritrean Engineers Community VOL. 3 NO. 2 JUNE 2012 FORMAL VERIFICATION OF AN ELECTRONIC PAYMENT SYSTEM ALTERNATING CURRENT(AC) VS. DIRECT CURRENT(DC) MOBILE AUTHENTICATION…