论文研究基于UCON的网络银行在线支付及其安全性分析.pdf

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