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

• 作者: 肖茵茵 苏开乐
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: SVO逻辑 电子商务支付 Netbill协议 认证性
• 年，卷（期）: 2014,（8）
• 所属期刊栏目: 博士论坛
• 页码范围: 6-10
• 页数: 5页
• 分类号: TP309
• 字数: 4660字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1310-0124

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖茵茵	广东技术师范学院计算机学院	11	57	5.0	7.0
3	苏开乐	中山大学信息科学与技术学院广东省信息安全重点实验室	22	309	11.0	17.0