| 摘要: |
| 在克服一种非否认协议草案的缺陷的基础上,提出一种新的非否认协议.新的协议可以在不安 全和不可靠的信道上工作,并能对付各种欺骗行为.此外,还对SVO逻辑进行扩充,引进一些新 的概念和方法,并用扩展后的SVO逻辑分析与证明新的非否认协议. |
| 关键词: 非否认协议,SVO逻辑,可信第三方,仲裁方. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家重点基础研究发展规划项目(G1999035810)资助. |
|
| A New Non-Repudiation Protocol |
|
QING Si-han
|
| 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. |
| Key words: Non-Repudiation protocol, SVO logic, trusted third party, adjudicator. |
