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

• 作者: 张梅 文静华 李祥
• 来源期刊: 电讯技术
• 学科: 工学
• 关键词: 电子商务协议 公平性 符号模型检测 信息安全
• 年，卷（期）: 2005,（6）
• 所属期刊栏目: 基金项目论文
• 页码范围: 80-83
• 页数: 4页
• 分类号: TN195.04|TN918
• 字数: 2920字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-893X.2005.06.018

摘要

电子商务协议的非否认性与公平性问题已成为电子商务和信息安全领域研究的热点.本文建立了网络支付协议ISI的有限状态机模型,并用SMV检验工具对其两个重要特性--非否认性与公平性进行了分析检验,发现了ISI协议不满足公平性.结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的.

作者信息

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