基于κ(0,1)-TPN的三防控制系统软件安全性分析模型研究

• 作者: 刘宇坤 李之博 杨荫钊 王宇龙 高小雅
• 来源期刊: 中北大学学报（自然科学版）
• 学科: 工学
• 关键词: 坦克装甲车辆 时间Petri网 软件安全性
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 自动化与计算机技术
• 页码范围: 681-686,698
• 页数: 7页
• 分类号: TP391
• 字数: 4953字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-3193.2012.06.014

摘要

针对现有方法难以对含多个子系统的并发武器装备软件进行安全性分析的难题,提出了基于多维的时间Petri网软件安全性建模分析方法(k(0,1)-TPN).该方法在时间Petri网的基础上,基于动态运行规则,采用同步合成和共享合成技术建立起软件安全分析模型,通过对运行时序、状态转移等的分析,可得出软件系统潜在的危险状态.利用该方法建立的模型对三防系统软件进行了安全性分析,结果表明:相比其它分析方法,应用该模型可发现多处潜在的软件致命错误,是一种简单实用的有效方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王宇龙		8	60	4.0	7.0
2	李之博		3	1	1.0	1.0
3	高小雅		4	1	1.0	1.0
4	刘宇坤		2	3	1.0	1.0
5	杨荫钊		2	1	1.0	1.0