计算机工程与应用

2014, v.50;No.815(16) 90-94

[打印本页] [关闭]
本期目录(Current Issue) | 过刊浏览(Past Issue) | 高级检索(Advanced Search)

基于UCON的网络银行在线支付及其安全性分析
Security analysis of E-bank online-payment based on UCON

王昌达;董雪刚;周从华;

摘要(Abstract):

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

关键词(KeyWords): 网络银行;访问控制;支付安全;使用控制;模型检测

Abstract:

Keywords:

基金项目(Foundation): 国家自然科学基金(No.61003288);; 江苏省自然科学基金(No.BK2010192);; 教育部博士点基金(No.20093227110005);; 江苏省六大人才高峰项目(No.1631170006);; 江苏省高校自然科学研究计划(No.07KJB520016);; 江苏大学高级人才项目(No.07JDG053)

作者(Author): 王昌达;董雪刚;周从华;

Email:

DOI:

参考文献(References):

扩展功能
本文信息
服务与反馈
本文关键词相关文章
本文作者相关文章
中国知网
分享