文献类型：期刊文章

作　　者：肖茵茵[1,2] 苏开乐[2,3]

机构地区：[1]广东技术师范学院计算机学院,广州510665 [2]中山大学信息科学与技术学院广东省信息安全重点实验室,广州510275 [3]北京大学信息科学技术学院教育部高可信软件技术重点实验室,北京100871

出　　处：《计算机工程与应用》

基　　金：国家自然科学基金(No.60903054);国家重点基础研究发展规划(973)(No.2010CB328103);广东高校优秀青年创新人才培育项目(No.LYM11085;No.LYM11084)

年　　份：2014

卷　　号：50

期　　号：8

起止页码：6-10

语　　种：中文

收录情况：AJ、CSA、CSA-PROQEUST、CSCD、CSCD2013_2014、IC、INSPEC、JST、RCCSE、ZGKJHX、普通刊

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

关 键 词：SVO逻辑 电子商务支付 Netbill协议  认证性

分 类 号：TP309]