KAILAR逻辑相关论文
信息安全在银行、电信、政府机关大型软件系统中的重要性愈来愈显突出，这些领域的软件系统对安全性要求极高。由于信息安全对国民经......
随着互联网的不断发展，在世界范围内掀起了一股电子商务热潮。而网上电子支付的安全性却成为其发展的主要障碍。安全电子交易协议SE......
随着电子商务在全球的迅猛发展，电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础......
安全的电子商务协议是保证电子商务活动正常开展的基础。一个貌似安全的协议往往存在安全上的漏洞。模型检测是一种常见的形式化分......
近年来，随着手持设备技术的发展和无线通信技术的更新，移动支付得到迅速的发展，频繁地出现在人们的视野中，然而许多人并没有接受这个新......
移动电子商务作为传统电子商务的延伸，借助WAP技术发展以及智能手机的普及，正在迅猛发展。移动支付作为移动电子商务的重要环节，在全......
尽管电子商务具有许多优点(低交易成本,扩展的市场,以及不受地域和空间的限制等等),但这种交易方式不得不面对众多制约其广泛应用......
针对一机仿真多卡的应用需求,基于密码技术设计了一个面向现场模式、支持多卡仿真的NFC(Near Field Communication,近距离通信)智......
本文指出了现有时限责任分析技术中存在的缺陷,提出了一种基于Kailar逻辑的安全协议时限责任分析框架.通过该分析框架对一个具有时......
多方认证邮件协议被广泛用于在多方网络环境中传递具有保密性、不可否认性、公平性、无排斥性以及时限性性的电子邮件。指出了一个......
这年来，电子商务协议的设计逐渐成为热点，可追究性是指电子商务务协议迫使个人或组织对自己在电子交易中的行为负责的能力，缺乏可追究......
在介绍Kim公平非否认协议的基础上,分析了LSG协议,指出协议中存在因消息重放而导致不公平的情况,提出了一个改进后的协议,并用新的......
提出一个基于混合密码体制的抗否认密码协议：可以运行在不安全信道上实现交易的公平性与通信双方的不可否认性；在通常情况下只需通信......
在安全电子支付协议中,付款方和收款方的可追究性及公平性非常重要。通常可以采用电子支付中的双方可追究协议来达到这个目的。在......
为了提高多方公平交换协议的安全性和运行效率,提出一种新的基于HECC的多方公平交换协议。利用基于超椭圆曲线双线性对的身份签名......
在安全数据传输协议中，发送方和接收方的非否认性及公平性非常重要。通常可以通过采用数据传输中的双方非否认协议来达到这个目的。......
提出了一种新的形式化分析逻辑, 可用于分析协议的安全性.它有3个优点:(1)能分析协议的可追究性,(2)能分析协议的公平性,(3)能有效......
针对移动环境中网络及计算条件受限的情况,在考虑有效性和支付效率的基础上,设计了一个适应于移动环境的公平移动支付协议.该协议......
可追究性是电子商务安全性的基本要求之一,Kailar逻辑是专门针对电子商务可追究性进行分析的逻辑。然而Kailar逻辑也存在不足。本......
挂号电子邮件协议需要具备保密性、不可否认性及公平性。提出了一种基于在线第三方的挂号电子邮件协议,以满足挂号电子邮件的一般......
认证邮件协议需要满足保密性、公平性、可追究性等安全属性．针对一个典型的认证邮件协议在保密性、可追究性上存在的安全缺陷，对其进......
通过将Kailar逻辑和LPC形式方法相结合,提出一种新的用于分析电子商务协议的形式化方法.新方法中的推导规则既简单便捷同时又具有......
Kailar逻辑用于分析电子商务协议的可追究性,但初始状态假设引入不当会导致Kailar逻辑分析协议失败.通过对利用Kailar逻辑证明CMP1......
针对现有复合型支付协议AECPP的单向身份认证中易受匿名攻击、支付子协议的完整性不能有效保证这些不足,提出一种新的复合型电子支......
在研究借鉴一种可追究协议NCP的基础上，提出一种新的公平可追究协议．经过使用改进的Kailor逻辑分析验证，新的协议满足可追究和公平性......
协议的可追究性为解决电子商务纠纷提供了重要的不可否认的证据，有必要深入分析SET协议的可追究性。Kailar逻辑是一种针对电子商务......
综合Kailar逻辑和SVO逻辑两种协议分析方法的优点，借助SVO逻辑的思想对Kailar逻辑进行了改进，使其更好地应用于不可否认协议的可追究......
为了描述非否认协议中的各种不确定因素,在Kailar逻辑系统中引入了表示缺省信息的否定词,以及相应的推理机制。提出了安全协议验证......
讨论了密码、协议和防火墙边三道网络安全防线。首先评价了美国国家标准技术局颁布的15个先进加密标准的候选算法，从中可以看出密码......
安全协议是建造网络安全环境的重要基石,是保证网络安全的核心技术。设计和证明安全协议自身的正确性和安全性,成为网络安全的基础......
近年来,电子商务协议的设计逐渐成为热点. Kailar提出了一种用于分析电子商务协议中可追究性的形式化分析方法,简称Kailar逻辑.指......
随着计算机网络的飞速发展,电子商务逐渐成为人们进行商务活动的新模式。电子商务安全协议是构建电子商务安全环境的基础,是保障电......
为提升移动支付交易安全性和质量,该文致力于设计一种能够在移动终端上搭载的面向第三方支付平台的安全交易协议模型STPT。该协议......
本文用Kailar逻辑对Bolignano电子协议的安全性作了较为详细的分析,进而对Kailar逻辑也作了一些讨论.......
