安全电子商务协议的逻辑分析方法研究

来源 :郑州大学 | 被引量 : 0次 | 上传用户:uk1030
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
电子商务是当前各国研究的热点。电子商务是以协议为构成框架的,电子商务协议的安全性是决定电子商务发展的关键因素。安全电子商务协议,是使用了密码学方法的协议,其目的就是为了在复杂的、不安全的网络环境中为参加电子商务活动的主体提供各种安全服务。安全电子商务协议的目的是保证信息的安全,但是如果协议本身存在漏洞,攻击者就会利用这些漏洞,对合法通信者造成危害。因此需要对安全协议进行分析和验证,来检查安全电子商务协议是否能够达到其预期的目标。Kailar逻辑和卿-周逻辑是常见的安全电子商务协议形式化分析方法,但是它们只能分析协议的有限性质,并且在遇到重放攻击时Kailar逻辑和卿-周逻辑不能正确分析主体的责任性。本文在深入研究安全电子商务协议形式化分析方法理论的基础上,做了以下几个方面的工作:(1)深入了解了安全电子商务协议的安全性质,尤其是原子性、可追究性与公平性。(2)熟悉针对安全电子商务协议的常见攻击方法,用重放攻击分析了IBS协议和CMP协议,并对后者提出了改进方案。(3)分析Kailar逻辑和卿-周逻辑的不足,提出了一种改进的逻辑分析方法,并给出了验证实例。
其他文献
近年来,在全球新科技革命浪潮的推动下,以现代信息技术的广泛深入应用为特征的远程教育随着互联网的普及和社会需求的增长迅速发展,已成为我国教育事业的重要组成部分。同时远程
在计算机动画中,人物角色的动画通过动作数据来驱动和表达的。动作数据有很多生成方式,包括关键帧动画、动作捕捉、物理模拟、动作编辑和重用等。动作重用作为一种动作生成手段
自上世纪八十年代,Marr提出视觉系统框架以来,计算机视觉得到了长足的发展,涌现出不少新的研究方向,如图像分割、运动视觉分析、三维恢复重建、物体建模与识别以及立体视觉等。本
随着信息技术的发展,作为医院数字化核心的PACS(医学影像存储与传输系统)越来越受到人们的关注。海量的医学图像数据要求PACS系统提供巨大容量的存储空间来保存;在PACS中,图像数
随着无线网络技术和音视频技术的发展,移动多媒体应用在人们的生活中扮演越来越重要的角色。为有效利用有限的带宽资源,多媒体数据在传输之前必须进行压缩,同时为保证网络多
普适计算的真正目的在于实现以人为本的计算,它使计算和通信能力无处不在地融合在人们生活和工作的现实环境中。其中人机交互的便利性和友好性是必需的,其对于系统的自然语言理
随着互联网的发展,互联网上的信息量急剧膨胀,但网页中信息表达的格式和风格随意、自由。面对多种的信息表达方式,让计算机去自动识别或分类这些信息就变得十分有意义。为了让计
随着计算机及网络技术的飞速发展,当越来越多的公司及个人成为Internet用户后,黑客入侵、信息泄密以及病毒泛滥所带来的危害引起了世界各地的高度重视。在这样的背景下,网络
拍卖作为多Agent技术的重要应用,近年来受到广泛关注。不过由于组合拍卖效率较高,很多学者的研究都基于组合拍卖协议,但因为组合拍卖问题属于NP-Complete问题,致使它很少有现实的
对一个问题进行拓展研究,首先要找到该问题的相对性因子,对相对性因子泛化,然后再用泛系方法论中的泛导思想,构造该问题的新模型。本文从泛系的角度对粗糙集模型的拓展研究就是基