非否认协议相关论文
随着电子商务的飞速发展和广泛应用，网络安全及其形式化分析引起社会的密切关注，逐步成为计算机科学研究的热点领域。非否认技术作为......
在电子邮件传输中,发信人和收信人的不可否认性是一个重要的安全问题。该问题可以通过采用数据传输中的非否认协议来解决。目前多......
以可信第三方的时间作为参考标准,提出了一种新的改进方案,并对其进行了安全性和效率分析。分析结果表明,新方案不仅满足可追究性......
非否认性是电子商务协议的一个重要性质,其形式化分析问题引起了人们的密切关注.本文运用SVO逻辑对一个非否认协议实例进行了有效......
探讨了非否认协议的保密性认证目标,用攻击的方法验证了A（0）协议在认证保密性方面的不足;对其消息格式和会话密钥建立后确认方式做了......
将基于知识逻辑的CS逻辑系统用于分析具有时限性的非否认协议，针对非否认协议的性质对CS逻辑进行了扩展，给出了描述和分析非否认性以......
针对在非否认协议公平性的形式化分析中,如何弱化初始假定和避免状态空间爆炸等问题,提出了扩展串空间方法.通过将签名运算引入串......
研究ATL逻辑及其在电子商务协议形式化分析中的应用，用ATL逻辑语言对KM协议进行描述与分析，并对协议的各参与方和可信第三方TTP的基......
在克服一种非否认协议草案的缺陷的基础上，提出一种新的非否认协议。新的协议可以在不安全和不可靠的信道上工作，并能对付各种期骗行......
针对电子商务安全协议的非否认性，在现有非否认服务的基础上，介绍了一种新型非否认协议，该协议满足可追究性，并且是ε-公平的，协议中加......
对目前现有的非否认协议的几种形式化分析方法进行了分析和比较,指出了它们的优缺点,最后提出了进一步的研究方向。......
为了描述非否认协议中的各种不确定因素,在Kailar逻辑系统中引入了表示缺省信息的否定词,以及相应的推理机制。提出了安全协议验证......
UCSA（Universally Composable Symbolic Analysis）框架结合了形式化分析方法和UC框架。在前人的基础上继续扩展UCSA框架的适用范围。......
