带有有限自动机的电子支付系统

在电子支付系统中，最难以解决的，同时也是最需要解决的是重复支付（double－spending）问题。离线系统中，通常采用的方法是银行发现同一电子货币被存入两次后，破解出使用该货币的用户身份。然而这种事后才发现的方法给非法用户以充足的时间。因此StefanBrands提出在用户端设立监视者，可以防止用户重复支付同一货币。本文在此基础上将有限自动机的概念引入到支付协议中，不仅提高了效率而且增强了安全性。