电子商务安全支付研究

总结常用的安全电子商务技术,重点讨论各种网络支付方式的流程及支付交易安全准则。

基于智能移动客户端的高校收费管理平台安全性研究

基于智能移动客户端的高校收费管理平台给高校的收费管理提供了便利,但同时也会出现后台数据库文件泄露、移动支付资金被盗、用户信息和管理员账户泄露等安全问题。为了解决这些安全问题,需要采取运用防火墙技术、入侵检测系统加强网络安全级别,采用磁盘阵列或者双服务器技术保障数据库安全,采用交易中间件技术保障移动支付交易安全等对策。

电子商务支付模式选择

对电子商务支付模式、支付类型的选择 ,从安全需求分析、交易额大小及交易双方的具体关系性质等方面对电子商务支付模式加以讨论 ,并在风险、费用、方便性等方面对各有短长的两种信用卡支付协议——SSL。

实例化空间逻辑下的SET支付协议验证及改进

使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相比,可以验证协议在任意会话中的正确性;与定理证明等方法相比,验证过程是完全自动化的.在不影响原SET支付协议安全性的前提下,使用实例化空间逻辑简化协议的复杂消息,并合理选择协议分支,建立比以往研究更贴近原协议的模型.给出了该模型及其秘密性、认证性在SPV下的形式化描述,并展示验证结果,分析验证效率.针对验证结果中不被满足的认知规范,给出协议的改进方案,解决了持卡人和支付网关之间的认证问题.