基于Petri网的安全协议形式化分析

• 作者: 刘道斌 白硕 郭莉
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 安全协议 Petri网 可达性分析
• 年，卷（期）: 2004,（11）
• 所属期刊栏目: 科研通信
• 页码范围: 1926-1929
• 页数: 4页
• 分类号: TP393.08
• 字数: 3236字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2004.11.040

摘要

本文提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法.该方法的特点是,利用逆向状态分析判定协议运行过程中可能出现的不安全状态,利用Petri网的状态可达性分析判断这些不安全状态是否可达.通过实例,我们证明了这种方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	白硕	中国科学院计算技术研究所软件研究室	50	2124	21.0	46.0
2	郭莉	中国科学院计算技术研究所软件研究室	64	788	14.0	26.0
3	刘道斌	中国科学院计算技术研究所软件研究室	7	145	6.0	7.0