基于UCON的网络银行在线支付及其安全性分析

• 作者: 周从华 王昌达 董雪刚
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 网络银行 访问控制 支付安全 使用控制 模型检测
• 年，卷（期）: 2014,（16）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 90-94
• 页数: 5页
• 分类号: TP309
• 字数: 4808字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1209-0233

摘要

通过分析现有网络银行在线支付特点及安全保护机制，发现其支付过程仍存在身份冒充、权限泄露和支付不灵活等问题。针对这些问题，提出使用控制模型UCON的网络银行在线支付模型，制定动态的授权规则和灵活的支付策略，并对提出的策略进行详细描述。通过使用模型检测工具NuSMV进行安全性分析，证明该策略符合网络银行访问控制的安全性和方便性需求，且能够弥补现有系统在身份认证机制和支付行为使用控制方面的不足。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王昌达	江苏大学计算机科学与通信工程学院	50	237	9.0	13.0
3	周从华	江苏大学计算机科学与通信工程学院	46	193	7.0	11.0
7	董雪刚	江苏大学计算机科学与通信工程学院	1	4	1.0	1.0