Dalton Li David Lin Grace Zhao Brian Huang Design and correctness proof of a security protocol for mobile banking. 259-265 2009 14 Bell Labs Technical Journal 1 http://dx.doi.org/10.1002/bltj.20366 db/journals/bell/bell14.html#LiLZH09