Modeling internal controls of automated teller machine (ATM) systems: A computerized decision aid for design and evaluation.

Joseph C. Chao, Mahalakshmi Komaravolu, Carol Lin, Gavin Yiu

Browse the full ACSAC paper archive.