| 电子证据与反拒认协议及形式化分析 |
| |
| 引用本文： | 袁丁,范平志.电子证据与反拒认协议及形式化分析[J].电子科技大学学报(社会科学版),2004(5). |
| |
| 作者姓名： | 袁丁 范平志 |
| |
| 作者单位： | 西南交通大学移动通信研究所 成都610031
(袁丁)，四川师范大学计算机科学学院 成都610066(范平志) |
| |
| 基金项目： | 高等学校博士点基金(20020613020)，国家自然科学基资助项目(69825102)，四川省教育厅重点项目(2003A085) |
| |
| 摘 要： | 反拒认是实现电子商务的一个重要前提条件。基于可信的第三方提出了一个面向传输的电子证据与反拒认协议TEENP,解决了收方和发方的拒认问题。扩充了类BAN信任逻辑的语义和逻辑推理规则,并用信任逻辑BAN对其进行了形式化分析。与相关协议相比,本协议是公平的、安全的和高效的。
|
| 关 键 词： | 电子证据 反拒认 数字签名 加密 网络安全 |
An Electronic Evidence and Non-Repudiation Protocol and Its Formal Analysis |
| |
| Yuan Ding,Fan Pingzhi.An Electronic Evidence and Non-Repudiation Protocol and Its Formal Analysis[J].Journal of University of Electronic Science and Technology of China(Social Sciences Edition),2004(5). |
| |
| Authors: | Yuan Ding Fan Pingzhi |
| |
| Institution: | Yuan Ding1 Fan Pingzhi2 |
| |
| 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: | electronic evidence non-repudiation digital signature encryption network security |
| 本文献已被 CNKI 等数据库收录！ |
