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

• 作者: 马振立
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 电子商务 支付系统 UPPAAL 模型检测
• 年，卷（期）: 2014,（12）
• 页码范围: 8341-8342
• 页数: 2页
• 分类号: TP393

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马振立	同济大学软件学院	2	1	1.0	1.0