一种新型的非否认协议

被引:21
作者
卿斯汉
机构
[1] 中国科学院软件研究所信息安全国家重点实验室!北京
[2] 中国科学院信息安全技术工程研究中心北京
关键词
非否认协议; SVO逻辑; 可信第三方; 仲裁方;
D O I
10.13328/j.cnki.jos.2000.10.011
中图分类号
TP393 [计算机网络];
学科分类号
081201 ; 1201 ;
摘要
在克服一种非否认协议草案的缺陷的基础上 ,提出一种新的非否认协议 .新的协议可以在不安全和不可靠的信道上工作 ,并能对付各种欺骗行为 .此外 ,还对 SVO逻辑进行扩充 ,引进一些新的概念和方法 ,并用扩展后的 SVO逻辑分析与证明新的非否认协议 .
引用
收藏
页码:1338 / 1343
页数:6
相关论文
共 1 条
[1]   A LOGIC OF AUTHENTICATION [J].
BURROWS, M ;
ABADI, M ;
NEEDHAM, R .
ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1990, 8 (01) :18-36