CMP1协议的符号模型检验分析

• 作者: 张梅 文静华 李祥 杨滋荣
• 来源期刊: 海军工程大学学报
• 学科: 工学
• 关键词: 电子商务协议 公平性 符号模型检测
• 年，卷（期）: 2005,（3）
• 页码范围: 15-18,37
• 页数: 5页
• 分类号: TP399
• 字数: 4263字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-3486.2005.03.004

摘要

提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改.结果表明,利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李祥	贵州大学计算机软件与理论研究所	91	551	13.0	19.0
2	文静华	贵州财经学院信息学院	58	334	10.0	15.0
6	张梅	贵州财经学院信息学院	43	257	9.0	14.0
7	杨滋荣	贵州财经学院信息学院	11	55	5.0	7.0