Kailar逻辑的缺陷 被引量：29

1

作者 周典萃 卿斯汉 周展飞 《软件学报》 EI CSCD 北大核心 1999年第12期1238-1245,共8页

近年来 ,电子商务协议的设计逐渐成为热点 .可追究性是指电子商务协议迫使个人或组织对自己在电子交易中的行为负责的能力 .缺乏可追究性 ,电子交易容易引起争议 .因此 ,Rajashekar Kailar提出了一种用于分析电子商务协议中可追究性的... 近年来 ,电子商务协议的设计逐渐成为热点 .可追究性是指电子商务协议迫使个人或组织对自己在电子交易中的行为负责的能力 .缺乏可追究性 ,电子交易容易引起争议 .因此 ,Rajashekar Kailar提出了一种用于分析电子商务协议中可追究性的形式化分析方法 ,简称 Kailar逻辑 .该文指出这一逻辑的缺陷 :(1)不能分析协议的公平性 ;(2 )对协议语句的解释及初始化假设是非形式化的 ,存在局限性 ;(3)无法处理密文 . 展开更多

关键词 可追究性 电子商务 kailar逻辑 INTERNET网

在线阅读 下载PDF 职称材料

Kailar逻辑的缺陷及改进 被引量：1

2

作者 石曙东 李之棠 《计算机工程与设计》 CSCD 2004年第6期853-855,883,共4页

近年来,电子商务协议的设计逐渐成为热点。Kailar提出了一种用于分析电子商务协议中可追究性的形 式化分析方法,简称Kailar逻辑。指出这一逻辑的缺陷:在发生重放攻击时不能正确分析各方面的责任,在验证 协议是否满足公平性原则时,具有... 近年来,电子商务协议的设计逐渐成为热点。Kailar提出了一种用于分析电子商务协议中可追究性的形 式化分析方法,简称Kailar逻辑。指出这一逻辑的缺陷:在发生重放攻击时不能正确分析各方面的责任,在验证 协议是否满足公平性原则时,具有一定的局限性。针对上述缺陷提出改进措施。 展开更多

关键词 kailar逻辑 电子商务 协议 协议分析

在线阅读 下载PDF 职称材料

Kailar逻辑的改进及应用 被引量：2

3

作者 翁艳琴 石曙东 解颜铭 《微型机与应用》 2012年第3期56-58,共3页

综合Kailar逻辑和SVO逻辑两种协议分析方法的优点,借助SVO逻辑的思想对Kailar逻辑进行了改进,使其更好地应用于不可否认协议的可追究性分析和设计。同时,将改进后的Kailar逻辑应用在类NG协议的分析中,分析结果证明了该协议可追究方面的... 综合Kailar逻辑和SVO逻辑两种协议分析方法的优点,借助SVO逻辑的思想对Kailar逻辑进行了改进,使其更好地应用于不可否认协议的可追究性分析和设计。同时,将改进后的Kailar逻辑应用在类NG协议的分析中,分析结果证明了该协议可追究方面的安全性质。 展开更多

关键词 逻辑系统 kailar逻辑 SVO逻辑 安全协议

在线阅读 下载PDF 职称材料

Kailar逻辑推理中初始状态假设 被引量：1

4

作者 王可心 韩芳溪 《大连理工大学学报》 EI CAS CSCD 北大核心 2003年第z1期193-196,共4页

Kailar逻辑用于分析电子商务协议的可追究性,但初始状态假设引入不当会导致Kailar逻辑分析协议失败.通过对利用Kailar逻辑证明CMP1(b)协议与CMP1协议可追究性的过程以及对初始状态假设进行分析研究,针对初始状态假设所存在的问题,给出... Kailar逻辑用于分析电子商务协议的可追究性,但初始状态假设引入不当会导致Kailar逻辑分析协议失败.通过对利用Kailar逻辑证明CMP1(b)协议与CMP1协议可追究性的过程以及对初始状态假设进行分析研究,针对初始状态假设所存在的问题,给出了初始状态假设应遵循的两个原则.实例表明,遵循该原则能够发现初始状态假设存在的问题,从而修正不适当的假设、补充新的假设,避免其引入不当所导致的Kailar逻辑分析协议失败问题. 展开更多

关键词 kailar逻辑 电子商务协议 协议分析 初始状态假设

在线阅读 下载PDF 职称材料

一种新型的安全协议分析逻辑 被引量：1

5

作者 石曙东 李之棠 《小型微型计算机系统》 CSCD 北大核心 2004年第12期2182-2185,共4页

提出了一种新的形式化分析逻辑 ,可用于分析协议的安全性 .它有 3个优点 :(1)能分析协议的可追究性 ,(2 )能分析协议的公平性 ,(3)能有效的分析协议能否抵御重放攻击 ,(4 )增加了密文理解规则 。

关键词 kailar逻辑 电子商务 协议 协议分析

在线阅读 下载PDF 职称材料

电子商务协议可追究性的Kailar分析与改进 被引量：1

6

作者 刘庆华 周小燕 《中国市场》 北大核心 2008年第15期112-114,共3页

可追究性是电子商务安全性的基本要求之一,Kailar逻辑是专门针对电子商务可追究性进行分析的逻辑。然而Kailar逻辑也存在不足。本文讨论了逻辑的一种缺陷——初始化假设不当而致Kailar逻辑不能正确分析各方的可追究性,并分析了出现这种... 可追究性是电子商务安全性的基本要求之一,Kailar逻辑是专门针对电子商务可追究性进行分析的逻辑。然而Kailar逻辑也存在不足。本文讨论了逻辑的一种缺陷——初始化假设不当而致Kailar逻辑不能正确分析各方的可追究性,并分析了出现这种缺陷的原因,提出了改进方案。 展开更多

关键词 可追究性 kailar逻辑 初始化假设

在线阅读 下载PDF 职称材料

一种分析电子商务协议的新方法 被引量：10

7

作者 王彩芬 葛建华 《计算机学报》 EI CSCD 北大核心 2004年第4期507-515,共9页

通过将Kailar逻辑和LPC形式方法相结合 ,提出一种新的用于分析电子商务协议的形式化方法 .新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力 .该方法既能描述协议中参加者的行为又能够分析参加者拥有的知识和推导协议... 通过将Kailar逻辑和LPC形式方法相结合 ,提出一种新的用于分析电子商务协议的形式化方法 .新方法中的推导规则既简单便捷同时又具有分析签名和分析密文的能力 .该方法既能描述协议中参加者的行为又能够分析参加者拥有的知识和推导协议的可追究性和公平性 ,使用该方法不仅可以分析使用在线第三方的协议又可以分析使用脱线第三方的电子商务协议 .与其它的方法相比较 ,这一新方法既避免了Kailar逻辑的缺陷又弥补了LPC方法的不足 . 展开更多

关键词 电子商务 协议 可追究性 公平性 形式化分析 kailar逻辑

在线阅读 下载PDF 职称材料

一个新的公平非否认协议 被引量：4

8

作者 文静华 田建强 李祥 《计算机工程》 CAS CSCD 北大核心 2006年第2期132-134,共3页

在安全数据传输协议中,发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。在克服CMP1协议缺陷的基础上,提出了一种新的公平非否认电子邮件协议。经过使用改进的Kailor逻辑分析验... 在安全数据传输协议中,发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。在克服CMP1协议缺陷的基础上,提出了一种新的公平非否认电子邮件协议。经过使用改进的Kailor逻辑分析验证,新的协议满足非否认性和公平性原则,可广泛应用于电子邮件、电子合同等电子商务应用中。 展开更多

关键词 通信协议 非否认性 公平性 kailar逻辑

在线阅读 下载PDF 职称材料

一种适用于移动环境的公平移动支付协议 被引量：2

9

作者 高悦翔 彭代渊 汤鹏志 《铁道学报》 EI CAS CSCD 北大核心 2013年第11期51-59,共9页

针对移动环境中网络及计算条件受限的情况,在考虑有效性和支付效率的基础上,设计了一个适应于移动环境的公平移动支付协议。该协议由认证、支付、恢复、结算四个子协议构成。在认证协议中通过基于Hash函数的动态ID机制满足了双向认证、... 针对移动环境中网络及计算条件受限的情况,在考虑有效性和支付效率的基础上,设计了一个适应于移动环境的公平移动支付协议。该协议由认证、支付、恢复、结算四个子协议构成。在认证协议中通过基于Hash函数的动态ID机制满足了双向认证、有限的匿名性和不可追踪性,并获取不可伪造性的、可重用的支付证书。在支付过程中基于变色龙Hash函数和双Hash链,实现了交易的匿名性、可追究性和公平性。最后利用Kailar逻辑对协议的可追究性和公平性进行形式化分析,结果表明:协议在保持较高执行效率的同时,能满足可追究性和公平性,适用于在移动环境以及类似的通信、计算条件受限的环境中使用。 展开更多

关键词 移动支付 HASH链 变色龙Hash函数 公平性 kailar逻辑

在线阅读 下载PDF 职称材料

认证邮件协议的安全性分析与改进 被引量：2

10

作者 高悦翔 彭代渊 闫丽丽 《电子科技大学学报》 EI CAS CSCD 北大核心 2013年第2期300-305,共6页

认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如... 认证邮件协议需要满足保密性、公平性、可追究性等安全属性。针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷,对其进行了改进,提出了一个基于离线半可信第三方的认证邮件协议。同时,为更有效地分析协议的安全属性,对如何在组合协议分析框架下应用Kailar逻辑分析公平交换协议安全属性的方法进行了研究。利用该方法分析了改进后的协议,并证明了该协议具有满足保密性、可追究性等安全属性的特点。 展开更多

关键词 认证邮件协议 组合协议分析 kailar逻辑 可追究性

在线阅读 下载PDF 职称材料

面向现场支付的MCSP模式及其支付协议 被引量：1

11

作者 常朝稳 魏彦芬 王帅 《小型微型计算机系统》 CSCD 北大核心 2014年第10期2319-2324,共6页

针对一机仿真多卡的应用需求,基于密码技术设计了一个面向现场模式、支持多卡仿真的NFC(Near Field Communication,近距离通信)智能手机移动支付安全模式MCSP(Multiple Cards on a Single Phone,一机多卡),并面向MCSP模式设计了一个安... 针对一机仿真多卡的应用需求,基于密码技术设计了一个面向现场模式、支持多卡仿真的NFC(Near Field Communication,近距离通信)智能手机移动支付安全模式MCSP(Multiple Cards on a Single Phone,一机多卡),并面向MCSP模式设计了一个安全支付协议.通过在智能终端中增加一个支持SWP(Single Wire Protocol,单线协议)的安全TF(Trans-flash)卡,将多张银行信用卡信息与智能终端硬件信息绑定后加密存储在安全TF卡中,基于密码分割实现多信用卡间的安全隔离;通过采用三级密钥机制,保护信用卡信息的安全性;通过扩展应用密文消息,实现交易金额二次确认、PIN(Personal Identification Number,个人识别码)输入过程前移和完整性增强保护;通过重新设计交易计数器更新策略实现抗重放攻击. 展开更多

关键词 移动支付 NFC技术 支付协议 kailar逻辑

在线阅读 下载PDF 职称材料

一种验证非否认协议的新方法 被引量：2

12

作者 周勇 朱梧槚 《电子与信息学报》 EI CSCD 北大核心 2007年第10期2493-2497,共5页

为了描述非否认协议中的各种不确定因素,在Kailar逻辑系统中引入了表示缺省信息的否定词,以及相应的推理机制。提出了安全协议验证的新方法,主要特点是:可以直接对协议的动态运行过程进行推理;推理具有非单调性;避免过多的理想化假设;... 为了描述非否认协议中的各种不确定因素,在Kailar逻辑系统中引入了表示缺省信息的否定词,以及相应的推理机制。提出了安全协议验证的新方法,主要特点是:可以直接对协议的动态运行过程进行推理;推理具有非单调性;避免过多的理想化假设;可以分析含有多个子协议的非否认协议,以及协议的可追究性和公平性。文中以一种基于离线TTP方式的非否认协议为例,验证了该协议在运行一次时具有可追究性,但多次运行时存在攻击。 展开更多

关键词 非否认协议 kailar逻辑 协议验证

在线阅读 下载PDF 职称材料

一种挂号电子邮件协议的设计及其形式化分析 被引量：2

13

作者 高悦翔 彭代渊 《计算机应用》 CSCD 北大核心 2008年第8期1928-1930,1935,共4页

挂号电子邮件协议需要具备保密性、不可否认性及公平性。提出了一种基于在线第三方的挂号电子邮件协议,以满足挂号电子邮件的一般安全特性。利用扩展Kailar逻辑对该协议进行分析,说明该协议满足不可否认性及公平性,并具有抗篡改、重放... 挂号电子邮件协议需要具备保密性、不可否认性及公平性。提出了一种基于在线第三方的挂号电子邮件协议,以满足挂号电子邮件的一般安全特性。利用扩展Kailar逻辑对该协议进行分析,说明该协议满足不可否认性及公平性,并具有抗篡改、重放等攻击及第三方无法获得邮件内容等优点。 展开更多

关键词 挂号电子邮件协议 不可否认性 公平性 形式化分析 kailar逻辑

在线阅读 下载PDF 职称材料

一种基于混合密码体制的不可否认协议及其形式化分析 被引量：2

14

作者 李艳平 张建中 《中国科学院研究生院学报》 CAS CSCD 2004年第2期185-190,共6页

提出一个基于混合密码体制的抗否认密码协议 :可以运行在不安全信道上实现交易的公平性与通信双方的不可否认性 ;在通常情况下只需通信双方进行 3次信息的交互 ,且保证传递数据的机密性与收发方交易的隐私权 ;避免了可信第三方可能成为... 提出一个基于混合密码体制的抗否认密码协议 :可以运行在不安全信道上实现交易的公平性与通信双方的不可否认性 ;在通常情况下只需通信双方进行 3次信息的交互 ,且保证传递数据的机密性与收发方交易的隐私权 ;避免了可信第三方可能成为系统瓶颈的问题 .最后给出该协议的形式化分析 ,证明了它的公平性、安全性与可行性 . 展开更多

关键词 欺诈 否认 BAN逻辑 kailar逻辑

在线阅读 下载PDF 职称材料

一个多方认证邮件协议的分析与改进 被引量：1

15

作者 高悦翔 彭代渊 《计算机科学》 CSCD 北大核心 2012年第11期58-61,97,共5页

多方认证邮件协议被广泛用于在多方网络环境中传递具有保密性、不可否认性、公平性、无排斥性以及时限性性的电子邮件。指出了一个典型的多方认证邮件协议存在不满足公平性、可追究性以及个别不诚实参与方行为导致整个协议执行失败等安... 多方认证邮件协议被广泛用于在多方网络环境中传递具有保密性、不可否认性、公平性、无排斥性以及时限性性的电子邮件。指出了一个典型的多方认证邮件协议存在不满足公平性、可追究性以及个别不诚实参与方行为导致整个协议执行失败等安全隐患。基于签密方案,对该协议进行了改进,并利用Kailar逻辑对改进后的协议的安全属性进行了分析。研究结果表明,该协议能够满足保密性、不可否认性及公平性等要求,并具有抗篡改、重放、合谋等攻击的特点。 展开更多

关键词 多方认证邮件协议 可追究性 公平性 签密 kailar逻辑

在线阅读 下载PDF 职称材料

SET协议的可追究性分析与改进 被引量：1

16

作者 赵娟 郭平 王玉柱 《后勤工程学院学报》 2008年第1期58-61,共4页

协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据，有必要深入分析SET协议的可追究性。Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具。先对SET协议进行了形式化的表述，然后利用一种改进的Kailar逻... 协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据，有必要深入分析SET协议的可追究性。Kailar逻辑是一种针对电子商务协议的可追究性而开发的形式化分析工具。先对SET协议进行了形式化的表述，然后利用一种改进的Kailar逻辑对SET协议的可追究性进行分析，结果表明协议只能满足商家和支付网关的可追究性，而不能满足持卡人的可追究性。最后，对协议进行了改进，使其能够满足持卡人的可追究性。 展开更多

关键词 SET协议 kailar逻辑 可追究性

在线阅读 下载PDF 职称材料

网络安全的三道防线一密码、协议和防火墙(英文) 被引量：1

17

作者 卿斯汉 《计算机工程》 CAS CSCD 北大核心 1999年第S1期3-7,共5页

讨论了密码、协议和防火墙边三道网络安全防线。首先评价了美国国家标准技术局颁布的15个先进加密标准的候选算法，从中可以看出密码的发展趋势。然后重点探讨了电子商务协议的逻辑分析。最后介绍了超级防火墙的新思想及其功能和设计原理。

关键词 先进加密标准(AES) 电子商务协议 kailar逻辑 超级防火墙

在线阅读 下载PDF 职称材料

具有时限约束的安全协议分析技术研究

18

作者 董荣胜 彭勋 +1 位作者 郭云川 古天龙 《计算机科学》 CSCD 北大核心 2005年第1期80-85,共6页

本文指出了现有时限责任分析技术中存在的缺陷,提出了一种基于Kailar逻辑的安全协议时限责任分析框架。通过该分析框架对一个具有时限性要求的安全电子投递协议进行分析,发现了协议存在的时限问题,修改了协议并给出了修改后的协议满足... 本文指出了现有时限责任分析技术中存在的缺陷,提出了一种基于Kailar逻辑的安全协议时限责任分析框架。通过该分析框架对一个具有时限性要求的安全电子投递协议进行分析,发现了协议存在的时限问题,修改了协议并给出了修改后的协议满足时限性要求的证明。 展开更多

关键词 时限约束 安全协议分析技术 kailar逻辑 形式化方法

在线阅读 下载PDF 职称材料

一种新的公平可追究协议

19

作者 文静华 李祥 《武汉大学学报（理学版）》 CAS CSCD 北大核心 2004年第A01期167-170,共4页

在研究借鉴一种可追究协议NCP的基础上，提出一种新的公平可追究协议．经过使用改进的Kailor逻辑分析验证，新的协议满足可追究和公平性原则，且可以工作在不安全和不可靠的信道上．

关键词 NCP协议 可追究性 公平性 kailar逻辑

在线阅读 下载PDF 职称材料

电子支付协议安全性的形式化分析

20

作者 李益发 谢文海 张彦肖 《信息工程大学学报》 2000年第2期26-28,共3页

本文用Kailar逻辑对Bolignano电子协议的安全性作了较为详细的分析 ,进而对Kailar逻辑也作了一些讨论。

关键词 电子商务协议 BAN逻辑 kailar逻辑

在线阅读 下载PDF 职称材料