| 电子证据与反拒认协议及形式化分析 |
| |
| 引用本文： | 袁丁,范平志.电子证据与反拒认协议及形式化分析[J].电子科技大学学报（自然科学版）,2004,33(5):531-534. |
| |
| 作者姓名： | 袁丁 范平志 |
| |
| 作者单位： | 西南交通大学移动通信研究所,成都,610031;四川师范大学计算机科学学院,成都,610066 |
| |
| 基金项目： | 高等学校博士学科点专项科研项目，国家自然科学基金，四川省教育厅资助项目 |
| |
| 摘 要： | 反拒认是实现电子商务的一个重要前提条件。基于可信的第三方提出了一个面向传输的电子证据与反拒认协议TEENP,解决了收方和发方的拒认问题。扩充了类BAN信任逻辑的语义和逻辑推理规则,并用信任逻辑BAN对其进行了形式化分析。与相关协议相比,本协议是公平的、安全的和高效的。
|
| 关 键 词： | 电子证据 反拒认 数字签名 加密 网络安全 |
| 收稿时间： | 2002-12-05 |
An Electronic Evidence and Non-Repudiation Protocol and Its Formal Analysis |
| |
| Affiliation: | 1.Institute of Mobile Communications,Southwest Jiaotong University Chengdu 610031;2.School of Computer Science,Sichuan Normal University Chengdu 610066 |
| |
| Abstract: | Non-repudiation is one of the most important premises to achieve electronic commerce. Based on a trusty third party, this paper proposes a transmission-oriented electronic evidence and non-repudiation protocol transmission-oriented electronic evidence and non-repudiation protocol (TEENP) to resolve the possible repudiation problem both in receiver side and in sender side. We extend the semantics and reasoning rules of the belief logic BAN, and formal analysis of TEENP is presented using logic BAN. The protocol is fair, secure and efficient, compared with the corresponding protocols. |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《电子科技大学学报（自然科学版）》浏览原始摘要信息 |
|
点击此处可从《电子科技大学学报（自然科学版）》下载全文 |
