IBS协议的形式化分析与验证

• 作者: 孙传庆 杨景玉 王松
• 来源期刊: 自动化与仪器仪表
• 学科: 工学
• 关键词: 形式化分析 FOCPN IBS协议
• 年，卷（期）: 2012,（2）
• 所属期刊栏目: 实践与创新
• 页码范围: 160-162
• 分类号: TP27
• 字数: 1889字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-9227.2012.02.065

摘要

安全协议的形式化分析方法有许多,但都普遍存在一些问题,本文介绍了一种在CPN模型基础上改进的形式化方法FOCPN,并且利用该方法对IBS协议进行了实验仿真分析,主要针对其不可否认性和可追究性进行了验证,实验结果显示该方法可以有效验证出IBS协议的特性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨景玉	兰州交通大学电子与信息工程学院	19	54	4.0	6.0
2	孙传庆	兰州城市学院信息工程学院	38	90	5.0	8.0
3	王松	兰州交通大学电子与信息工程学院	15	41	4.0	5.0