学位论文 > 优秀研究生学位论文题录展示
一种改进的SET协议安全性研究及其形式化分析
作 者: 王波
导 师: 曹斌
学 校: 贵州大学
专 业: 计算机应用技术
关键词: 电子商务协议 SET协议 形式化分析 Kailar逻辑 可追究性
分类号: TP393.08
类 型: 硕士论文
年 份: 2009年
下 载: 27次
引 用: 0次
阅 读: 论文下载
内容摘要
目前,电子商务中主要采用的安全协议有:安全套接层协议(SSL:SecuritySocket Layer)协议和安全电子交易协议(SET:Secure ElectronicTransaction)。SET协议在Internet购物环境中提供了消费者、商家和银行之间的认证,确保了交易数据的安全性、完整性、可靠性和交易的不可否认性。目前,SET协议已获得IETF标准认可,已成为事实上的标准。但是,到目前为止SET协议并未吸引足够的商家和消费者,并没有得到广泛的应用,其原因在于SET协议本身比较复杂,处理速度慢,完成一个SET交易过程需要较长时间;SET协议只保证了钱原子性,并不满足发送原子性和商品原子性,没有解决交易后证据的生成和保留问题;SET协议没有说明收单银行给在线商店付款前,是否必须收到消费者的货物接受证书,因此,在线商店提供的货物不符合质量标准,消费者提出异议,责任由谁来负。BAN逻辑和Kailar逻辑是常见的电子商务协议形式化分析方法,但是它们只能分析电子商务协议的有限性质,不能分析电子商务协议的可追究性,并且在遇到重放攻击时BAN逻辑和Kailar逻辑不能正确分析主体的责任性。本文对SET协议进行了全面的分析研究,对SET协议交易模型进行了改进,提高了SET协议交易效率,对SET协议存在的各种问题提出相应的改进方案,完善了SET协议。同时,对Non-monotonic Dynamic逻辑进行了研究,结合Kailar逻辑的优点,利用一种新的用于分析电子商务协议的形式化逻辑语言对改进后的SET协议进行逻辑抽象,对改进后的SET协议进行了完全的形式化分析,证明了其安全性。
|
全文目录
相似论文
- 移动电子商务安全平台研究,TP393.08
- 普适计算中动态更新及其形式化研究,TP338
- 安全协议形式化模型刻画与代数属性研究,TP274
- 安全协议形式化描述语言的设计与解析,TP393.08
- 安全协议形式化分析关键问题研究,TP393.08
- 安全协议自动化分析系统的设计与实现,TP393.08
- 基于UPPAAL的电子商务协议安全性分析,TP393.08
- RFID安全认证协议的研究与设计,TP391.44
- WiMAX网络中认证密钥协商协议设计与分析,TN92
- 基于身份的认证和密钥协商协议研究,TN918.2
- 教育信息网中的统一认证授权平台研究与实现,TP393.08
- 异构无线融合网络中通用接入认证协议研究,TN92
- 基于串空间模型的安全协议自动化验证方法研究,TP393.08
- 基于概念格的Web服务管理与发现研究,TP393.09
- 委托代理电子投票协议研究,TP399-C2
- 面向中文信息处理的组合式述补结构研究,H146
- 抗重放和类型缺陷攻击认证协议的设计与分析研究,TP393.08
- 基于SVO逻辑的网络安全协议形式化分析,TP393.08
- 基于串空间的网络安全协议形式化分析模型与工具研究,TP393.08
- 基于网络协议的Petri网研究,TP393.08
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机的应用 > 计算机网络 > 一般性问题 > 计算机网络安全
© 2012 www.xueweilunwen.com
|