电子证据与反拒认协议及形式化分析

摘要：

反拒认是实现电子商务的一个重要前提条件.基于可信的第三方提出了一个面向传输的电子证据与反拒认协议TEENP,解决了收方和发方的拒认问题.扩充了类BAN信任逻辑的语义和逻辑推理规则,并用信任逻辑BAN对其进行了形式化分析.与相关协议相比,本协议是公平的、安全的和高效的.

关键词：电子证据、反拒认、数字签名、加密、网络安全

所属期刊栏目：33

分类号：TP309(计算技术、计算机技术)

资助基金：高等学校博士学科点专项科研项目20020613020;国家自然科学基金69825102;四川省教育厅资助项目2003A085

在线出版日期：2004-12-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：531-534