SET协议模型的改进与SMV分析

• 作者: 张建林 鲁四美
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全电子交易 符号模型验证器 符号模型 模型检测
• 年，卷（期）: 2010,（8）
• 所属期刊栏目: 网络、通讯、安全
• 页码范围: 113-116
• 页数: 4页
• 分类号: TP309
• 字数: 3555字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.08.032

摘要

在以Lu&Smolka对SET协议支付过程的简化模型为研究对象的情况下,进行形式化建模和有限状态机模型.同时应用CTL时相应的安全性质进行形式描述,并在网络环境被入侵者控制的假设下,利用SMV分析了协议的认证性、保密性和完整性,发现攻击并对该攻击所产生的影响进行了讨论.最后修改其协议模型对改进后的协议进行分析和检验,说明了SET协议独具特色的双重签名在整个协议运行中至关重要.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张建林	首都师范大学信息工程学院	20	142	8.0	11.0
2	鲁四美	首都师范大学信息工程学院	2	5	2.0	2.0