基于UPPAAL在线支付系统的安全性验证

摘要

随着电子商务的不断发展,消费者对于在线支付系统的服务质量要求越来越高,支付系统不仅要高速完成每笔交易,更要保证支付过程的安全性。在线支付是电子商务的核心功能模块,而这个核心模块又由各个地理位置上分离的各个子模块组成,在该文中会对四个主要子模块进行建模,分析各模块之间的依赖关系及超时的扩散效应,通过UPPAAL对建模后的系统进行模型检测。经实验验证,所设计的支付系统模型可以在产生某个模块的超时后依然能满足安全性。