基于串空间模型的电子商务协议的形式化分析

• 作者: 卜凡金 李大兴 邢育红
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 串空间 认证测试 形式化分析 交换协议
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 123-126,145
• 页数: 5页
• 分类号: TP393
• 字数: 6622字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2006.03.036

摘要

采用形式化方法分析安全协议是协议分析的有效手段,近年来,出现了众多的研究方法.串空间模型是一种新兴的密码协议形式化分析工具.文章基于串空间模型,扩展了认证测试方法,使之能够描述和分析电子商务协议.并用该方法对一个具体的协议进行了形式化分析,得到了与以往文献相同的结论.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李大兴	山东大学网络信息安全研究所	97	1037	17.0	28.0
2	邢育红	山东大学网络信息安全研究所	4	10	2.0	3.0
6	卜凡金		4	8	1.0	2.0