NetBill协议的形式化描述及分析

通过对安全协议验证的形式化需求分析,论证了形式化描述和分析是描述电子商务协议并验证它们属性的有效方法.介绍了一个扩展的BAN逻辑,基于这个逻辑对一种电子交易协议NetBill协议进行形式化描述,并在有入侵的情况下对该协议所期望的属性(安全、原子、隐私)进行了正确的分析,证明了该协议在有入侵者的情况下能够满足安全、原子和隐私等要求.

NetBill：一种安全的电子商务协议

本文介绍了Ｉｎｔｅｒｎｅｔ上的一个安全、公平、快捷的电子商务协议－ＮｅｔＢｉｌｌ协议。它是Ｉｎｔｅｒｎｅｔ上面向低价格网络信息商品的电子支付系统。

NetBill安全和交易协议

ＮｅｔＢｉｌｌ上进行一个在Ｉｎｔｅｒｎｅｔ上进行信息商品微支付和系统。本文介绍ＮｅｔＢｉｌｌ协议，描述协议的安全和交换特点。其中，关键改进的如下。

电子商务支付协议认证性的SVO逻辑验证

与证伪法(如模型检测)相比,采用证真法(如定理证明和逻辑推理)能验证协议在任意会话中的正确性,但分析难度较高,验证过程较为复杂。使用SVO逻辑方法,以Netbill微支付协议为例,对电子商务支付协议的认证性进行形式化分析。扩展了SVO逻辑的公理集;在不影响Netbill协议安全性的前提下,为其建立了简化模型;针对协议特点,修正和补充了其验证目标;给出了比之前更合理的协议假设,展示了具体的推理过程,分析了验证结果。结果表明,Netbill协议基本满足认证性。最后对相关研究工作进行了比较。

网上支付概况

三、网上支票支付 1.电子支票 目前我国企业之间的交易广泛使用支票。在美国,支票使用更为普遍,但在欧洲不少国家已有下降的趋势。其原因有二:一是以纸为基础的支票较贵,在知其能支付前需经历传送、背书、交换、清分等很多环节,况且还有拒付退回之事发生,这使传统支票的平均费用一直较高。二是由于借记卡的出现。借记卡可用电子方式验证其可用资金,且具有支票的所有功能,却没有支票那么多缺点。 FSTC(Financial Sevices Technology Consortium)是由美国一些银行、研究机构、公司于1993年组成的一个集团,它的初衷是帮助美国金融服务业提高其竞争能力。目前已有60多个成员加入该集团,