一种新型的电子商务协议及形式化分析

• 作者: 李之棠 石曙东
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 电子商务协议 BAN逻辑 可信第三方
• 年，卷（期）: 2004,（36）
• 所属期刊栏目: 博士论坛
• 页码范围: 35-37
• 页数: 3页
• 分类号: TP309
• 字数: 2962字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.36.011

摘要

该文提出了一个可运行在不安全、不可靠信道上的电子商务协议NRP,该协议可使通信双方处于平等的地位,并有效地防止欺骗行为的发生.通过使用扩展BAN逻辑有效地分析了NRP协议的正确性,对电子商务协议的设计和分析具有重要的指导作用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李之棠	华中科技大学计算机学院	141	1747	22.0	36.0
2	石曙东	华中科技大学计算机学院	28	41	4.0	4.0