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

作     者：石曙东 李之棠 Shi Shudong1,2 Li Zhitang11(Computer School of Huazhong University of Science & Technology,Wuhan 430074)2(Department of Computer Science,Hubei Normal University,Huangshi 435002)

作者机构：华中科技大学计算机学院 

基　　金：国家自然科学基金资助项目(编号:69873016 69972017) 湖北省教育厅重点项目资助(编号:2004D004) 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2004年第40卷第36期

页      码：35-37页

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

主 题 词：电子商务协议 BAN逻辑 可信第三方 

学科分类：08[工学] 0839[0839] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1002-8331.2004.36.011

馆 藏 号：203116022...