一种新的电子商务协议分析方法

• 作者: 庄雷 李舟军 计宏霖 郭华
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 电子商务协议 模型检测 逻辑分析 通信有限状态自动机
• 年，卷（期）: 2010,（8）
• 页码范围: 56-60
• 分类号: TP309
• 字数: 5759字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2010.08.010

摘要

基于卿-周逻辑给出了一些新的逻辑推理规则,并提出了一种扩展的通信有限状态自动机,用于分析电子商务协议的安全性质.该方法可描述协议参与者的行为与知识,且无需人为地引入初始假设.对扩展模型抽象并修改后,还可验证其它一些与加密、签名消息无关的性质.利用该方法分析了匿名可恢复的公平交换协议,发现其满足有效性、公平性、可追究性,但不满足匿名性,并用UPPAAL验证了协议的公平性、活性与时效性等.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李舟军	北京航空航天大学计算机学院	136	2221	23.0	43.0
2	庄雷	郑州大学信息工程学院	92	704	13.0	21.0
3	郭华	北京航空航天大学计算机学院	15	346	5.0	15.0
4	计宏霖	信息工程大学信息工程学院	1	6	1.0	1.0