【转贴】从银行ATM的技术角度看许霆案－银行是故意的吗？

   作者：erase 提交日期：2007-12-20 14:58:00   
    原始地址：            http://www.tianya.cn/New/PublicForum/Content.asp?
idWriter=5696620&Key=531752475&strItem=free&idArticle=1076923&flag=1


      从银行ATM的技术角度看许霆案－银行是故意的吗？

刚看到这案子的时候除了觉得许霆很冤外，同时觉得很蹊跷，至少【公开的报道的事实】有很多经不起推敲的地方。

本人以前做过MIS系统个开发和测试，也做过软件硬件的系统集成，不过那是很久前的事情了，也没有涉及到金融系统，所以如果本文有什么问题，请达人指正。


废话少说：
先描述一下我对ATM提款所涉及到的系统硬件、软件的理解：

登陆过程：
ATM接收提款人的身份验证信息（卡+ 密码）－》身份验证信息提交银联网络－》身份验证信息数据提交卡所在银行数据服务器－》卡所在银行数据服务器验证身份信息－》验证结果提交银联网络－》验证结果提交ATM机
登陆成功后ATM机进入操作菜单界面

取款过程：
ATM机 银联网络 卡所在银行数据服务器
输入取款金额
|
验证金额数据合法性(注1)
|
【金额数据】 －》 【金额数据】 －》 【金额数据】
|
验证金额数据合法性（注2）
|
【准予操作】 《－ 【准予操作】 《－ 如验证数据合法，则【准予操作】
|
吐出纸币
|
生成【操作记录】 －》【操作记录】 －》 【操作记录】
保存操作记录,并从卡中扣除金额

(注1)是否为50或100倍数，是否超过每次提款上限
(注2)是否超过卡中余额，是否超过每次提款上限，是否超过日提款上限，是否超过日提款次数

需要说明的是，ATM机所在的银行并不一定是卡所属的银行，本人目前不知道ATM机所在银行和和卡所属银行究竟是哪些银行。

问题：究竟在什么时候1000变成了1？
推测1：卡所在银行的服务器在保存交易记录时1000变成了1
推测2：ATM将输入的1000变为1然后将1提交给了卡所在银行数据服务器，并且生成的【操作记录】也将吐出的1000记录成1并提交到卡所在银行服务器
推测3：银联网络进行数据处理时将1000变为1

一个小问题需要说明一下，本人认为许霆不可能是输入了1，但ATM吐出了1000，本人没用过广州商业银行的提款机，以在其他银行提款机上的使用经验，许霆如果输入的数字少于50元，应该能够得到类似提示【本提款机只能提供面值50元和100元的人民币，请输入50或100的倍数。。。】，所以许霆输入的不是1元，而应该是1000元。

如果以上的3总推测有1个是正确的，那么本人可以肯定的是，不是ATM机的质量原因或者网络的质量或者是服务器及软件的质量问题引起的，而是人为导致的结果，不管这个人为行为是不是故意的。
相信编过软件和测试过软件的人都清楚，一个隐藏很深的BUG（无论是硬或软的，通常是内存溢出），不可能将1000变为1，因为计算机是2进制的。为什么说是隐藏的很深的BUG呢，那是因为我相信银行的软件及硬件都是经过长时间大负荷地测试联调后才正式上线使用的。那么可能出现的BUG我觉得只是在非常特殊的情况下才出现，象这样连续几个小时都存在的BUG，不能不说非常不可思议。

推测1的解释：
卡所在银行的服务器在保存交易记录时1000变成了1
如果人为地将1000变成1，只需要在程序（一个存储过程）上做小小的改动。可能有人问，为什么卡所在银行的服务器上软件的改动只影响了这一台ATM机呢，那是因为这个ATM向服务器提交数据时同时会告知服务器本ATM机的ID号，在改动程序的时候只需要判断ID号就可以只在这台ATM上实现了。
本人比较相信这种推测：因为实施起来难度较小，至于为什么要这么做，那各位可以去联想。

推测2的解释：
ATM将输入的1000变为1然后将1提交给了卡所在银行数据服务器，并且生成的【操作记录】也将吐出的1000记录成1并提交到卡所在银行服务器。
本人因为没有参与过ATM的开发，所以不知道ATM软件更新的流程是什么。如果仅仅从软件代码的难度上考虑，将ATM机加上一段实现此功能的代码是容易。但是可能碰到的问题是如果卡所在银行限制了每天取款的次数，那么本推测将不成立，因为取款次数高达171次。

推测3的解释
同上，如果卡所在银行限制了每天取款的次数，那么本推测将不成立。银联网络实际上是各银行间进行数据交换的接口，这个接口会将各银行接收到的数据进行格式转换然后转发给其他银行。从技术上讲，修改进行格式转换的代码也有可能达到此目的。

匆匆写就，达人指正。


=================================================================
jolestar 注：      觉得这个分析很有意思，本人没有开发过类似程序，所以不好评论。这里有没有达人能给解释一下？