共查询到14条相似文献,搜索用时 62 毫秒
1.
一种分析电子商务协议的新方法 总被引:8,自引:0,他引:8
通过将Kailar逻辑和LPC形式方法相结合,提出一种新的用于分析电子商务协议的形式化方法,新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力,该方法既能描述协议中参加者的行为又能够分析参加者拥有的知识和推导协议的可追究性和公平性,使用该方法不仅可以分析使用在线第三方的协议又可以分析使用脱线第三方的电子商务协议。与其它的方法相比较,这一新方法既避免了Kailar逻辑的缺陷又弥补了LPC方法的不足。 相似文献
2.
电子商务协议中的可信第三方角色 总被引:26,自引:2,他引:26
在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和Asoken-Shoup-Waidner协议,指出TTP在inline TTP协议、online TTP协议和offline TTP协议中的不同作用.对上述协议进行了全面的分析,分别指出它们的特点、缺陷与改进方法. 相似文献
3.
该文提出了一个可运行在不安全、不可靠信道上的电子商务协议NRP,该协议可使通信双方处于平等的地位,并有效地防止欺骗行为的发生。通过使用扩展BAN逻辑有效地分析了NRP协议的正确性,对电子商务协议的设计和分析具有重要的指导作用。 相似文献
4.
5.
6.
7.
不同应用环境下不可否认协议的目标是不同的,面向电子邮件的不可否认协议目标有:双方不可否认;公平;协议能抵御常见的篡改和重放攻击;减少对可信第三方的信赖程度,保证邮件机密性;尽可能减少协议交互次数.提出一种面向电子邮件的不可否认协议,以解决已有协议存在的不公平、机密性保护不好和协议交互次数多的问题.形式化分析的结果表明,提出的协议能完成收发双方的不可否认以及不可否认协议所要达成的公平性和证据有效性. 相似文献
8.
电子商务协议形式化分析的一种新方法 总被引:1,自引:1,他引:0
在电子商务领域,其协议的安全性和原子性是两个重要的问题,有必要对不断发展的协议进行分析和检验。文[3]提出了逻辑分析和进程演算相结合的技术,但这种技术在分析电子商务协议的安全性和原子性时存在一些局限性,因而本文提出了一种新的分析和检验原子性的方法。 相似文献
9.
改进的Kailar逻辑在协议分析中的应用 总被引:1,自引:0,他引:1
通过对Kailar逻辑进行改进,提出了一种新的用于分析电子商务协议的形式化方法。新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力。该方法既能推导协议的可追究性又能分析协议的公平性,与其它的方法相比较,这一新方法既避免了Kailar逻辑的缺陷又能分析复杂的电子商务协议。 相似文献
10.
11.
基于有穷自动机模型的电子商务支付协议公平性研究 总被引:3,自引:0,他引:3
文中将形式化方法,即有穷自动机理论分析方法应用到电子商务支付协议的研究中,证明了ISI协议不满足支付过程的公平性,在此基础上提出了具体的修改办法。 相似文献
12.
电子商务应用中数据加密协议的研究 总被引:1,自引:0,他引:1
介绍了电子商务是买卖双方基于Internet网,按照一定的标准所进行的商务活动,而电子商务应用中安全性的保证则依赖于对网络数据遵循一定的密钥协议进行加密,举例说明了在较完整的电子商务活动过程中使用ING密钥协议的数据加密方法。 相似文献
13.
电子商务协议的串空间分析 总被引:1,自引:0,他引:1
电子商务协议常常具有复杂结构,协议可能由多个子协议组合而成.因此,电子商务协议的安全分析较认证协议更为复杂.传统的信念逻辑不适宜分析电子商务协议.Kailar逻辑适宜分析电子商务协议的可追究性,但不适宜分析协议的公平性.本文介绍并扩展了串空间逻辑,分析了ISI支付协议的串,并证明其不满足公平性.还提出一种新的串节点路径法,用以分析了ASW协议,该协议系由多个子协议组成的分支结构协议,通过串空间分析证明了该协议的公平性.通过对两个协议的分析,分别提供了对电子商务在线交易协议和离线交易协议的形式化分析方法. 相似文献
14.
一种新型的安全协议分析逻辑 总被引:1,自引:0,他引:1
提出了一种新的形式化分析逻辑 ,可用于分析协议的安全性 .它有 3个优点 :(1)能分析协议的可追究性 ,(2 )能分析协议的公平性 ,(3)能有效的分析协议能否抵御重放攻击 ,(4 )增加了密文理解规则 ,能够有效地分析包含有签过名的加密公式的消息 相似文献