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

• 作者: 范平志 袁丁
• 来源期刊: 电子科技大学学报
• 学科: 工学
• 关键词: 电子证据 反拒认 数字签名 加密 网络安全
• 年，卷（期）: 2004,（5）
• 所属期刊栏目: 学术论文与技术报告
• 页码范围: 531-534
• 页数: 4页
• 分类号: TP309
• 字数: 2928字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0548.2004.05.013

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	袁丁	西南交通大学移动通信研究所	16	145	7.0	11.0
2	范平志	四川师范大学计算机科学学院	1	1	1.0	1.0