实例化空间逻辑下的SET支付协议验证及改进

• 作者: 肖茵茵 胡若 苏开乐 马震远
• 来源期刊: 华中科技大学学报（自然科学版）
• 学科: 工学
• 关键词: 知识推理 安全电子交易支付协议 形式化方法 实例化空间逻辑 自动化验证
• 年，卷（期）: 2013,（7）
• 所属期刊栏目: 计算机与控制工程
• 页码范围: 97-102
• 分类号: TN918
• 语种: 中文

摘要

使用基于知识推理的实例化空间逻辑及其自动化验证工具SPV对SET支付协议的重要安全性质进行验证,并对协议进行改进.与模型检测法相比,可以验证协议在任意会话中的正确性；与定理证明等方法相比,验证过程是完全自动化的.在不影响原SET支付协议安全性的前提下,使用实例化空间逻辑简化协议的复杂消息,并合理选择协议分支,建立比以往研究更贴近原协议的模型.给出了该模型及其秘密性、认证性在SPV下的形式化描述,并展示验证结果,分析验证效率.针对验证结果中不被满足的认知规范,给出协议的改进方案,解决了持卡人和支付网关之间的认证问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	肖茵茵	广东技术师范学院计算机科学学院	11	57	5.0	7.0
3	苏开乐	中山大学信息科学与技术学院	22	309	11.0	17.0
4	胡若	广东技术师范学院计算机科学学院	5	9	2.0	2.0
5	马震远	广东技术师范学院计算机科学学院	5	8	2.0	2.0