非否认协议相关论文
随着电子商务的飞速发展和广泛应用，网络安全及其形式化分析引起社会的密切关注，逐步成为计算机科学研究的热点领域。非否认技术作为......
本文对Kailar逻辑进行了扩充,并运用扩充的Kailar逻辑指出了CMP1协议存在的安全缺陷。最后,运用扩充的Kailar逻辑证明了改进后新协......
非否认性是考量电子商务协议的重要方面。SVO逻辑以其简洁的特点在协议的安全性验证方面被广泛应用。本文通过对SVO逻辑分析推理规......
对ZG离线TTP(trusted third pany)公平非否认协议及其一种改进方案进行了分析,针对原协议因引入协议有效期而存在消息延迟攻击的问......
在电子邮件传输中,发信人和收信人的不可否认性是一个重要的安全问题。该问题可以通过采用数据传输中的非否认协议来解决。目前多......
The accountability of electronic commerce protocols is an important aspect to insures security of electronic transaction......
以可信第三方的时间作为参考标准,提出了一种新的改进方案,并对其进行了安全性和效率分析。分析结果表明,新方案不仅满足可追究性......
This paper proposes an improved non-repudiation protocol after pointing out two attacks on an existing non-repudiation p......
非否认性是电子商务协议的一个重要性质,其形式化分析问题引起了人们的密切关注.本文运用SVO逻辑对一个非否认协议实例进行了有效......
本文针对公平非否认协议给出了一种基于有限状态自动机的分析模型,并使用SPIN模型检测工具,对Zhou-Gollmann非否认协议进行了分析,......
探讨了非否认协议的保密性认证目标,用攻击的方法验证了A（0）协议在认证保密性方面的不足;对其消息格式和会话密钥建立后确认方式做了......
将基于知识逻辑的CS逻辑系统用于分析具有时限性的非否认协议，针对非否认协议的性质对CS逻辑进行了扩展，给出了描述和分析非否认性以......
针对在非否认协议公平性的形式化分析中,如何弱化初始假定和避免状态空间爆炸等问题,提出了扩展串空间方法.通过将签名运算引入串......
研究ATL逻辑及其在电子商务协议形式化分析中的应用，用ATL逻辑语言对KM协议进行描述与分析，并对协议的各参与方和可信第三方TTP的基......
在克服一种非否认协议草案的缺陷的基础上，提出一种新的非否认协议。新的协议可以在不安全和不可靠的信道上工作，并能对付各种期骗行......
针对电子商务安全协议的非否认性，在现有非否认服务的基础上，介绍了一种新型非否认协议，该协议满足可追究性，并且是ε-公平的，协议中加......
对目前现有的非否认协议的几种形式化分析方法进行了分析和比较,指出了它们的优缺点,最后提出了进一步的研究方向。......
为了描述非否认协议中的各种不确定因素,在Kailar逻辑系统中引入了表示缺省信息的否定词,以及相应的推理机制。提出了安全协议验证......
UCSA（Universally Composable Symbolic Analysis）框架结合了形式化分析方法和UC框架。在前人的基础上继续扩展UCSA框架的适用范围。......
随着计算机和通信技术的快速发展,电子邮件、电子商务等应用逐渐渗透到日常生活的方方面面,如何保证信息交换中各方的公平、隐私是......
