| 一种新型的非否认协议 |
| |
| 引用本文： | 卿斯汉.一种新型的非否认协议[J].软件学报,2000,11(10):1338-1343. |
| |
| 作者姓名： | 卿斯汉 |
| |
| 作者单位： | 中国科学院信息安全技术工程研究中心,北京,100080;中国科学院软件研究所信息安全国家重点实验室,北京,100080 |
| |
| 基金项目： | 本文研究得到国家重点基础研究发展规划项目(G1999035810)资助. |
| |
| 摘 要： | 在克服一种非否认协议草案的缺陷的基础上,提出一种新的非否认协议.新的协议可以在不安 全和不可靠的信道上工作,并能对付各种欺骗行为.此外,还对SVO逻辑进行扩充,引进一些新 的概念和方法,并用扩展后的SVO逻辑分析与证明新的非否认协议.
|
| 关 键 词： | 非否认协议 SVO逻辑 可信第三方 仲裁方. |
| 收稿时间： | 2000/5/31 0:00:00 |
| 修稿时间： | 2000/6/30 0:00:00 |
A New Non-Repudiation Protocol |
| |
| QING Si-han.A New Non-Repudiation Protocol[J].Journal of Software,2000,11(10):1338-1343. |
| |
| Authors: | QING Si-han |
| |
| Affiliation: | QING Si-han(State Key Laboratory of Information Security\ Institute of Software The Chinese Academy of Sciences Beijing 100080) (Engineering Research Center for Information Security Technology The Chinese Ac ademy of Sciences Beijing 100080) |
| |
| Abstract: | In this paper, a new non-repudiation protocol is presented based on the correct ion of an existing protocol which has some security flaws. This scheme can work on an insecure and unreliable communication channel. Besides, it can deal with c heating. Some new notions and approaches for extending the SVO logic are introdu ced, then the extended SVO logic is used to analyze the new protocol and prove i ts correctness. |
| |
| Keywords: | Non-Repudiation protocol SVO logic trusted third party adjudicator |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
