联锁逻辑模型的安全性分析

• 作者: 徐中伟 杜军威 王树梅
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 联锁逻辑 故障树分析法 时间Petri网 安全性分析
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 博士论坛
• 页码范围: 1-4,32
• 页数: 5页
• 分类号: TP309
• 字数: 4601字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.02.001

摘要

故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统的可靠性和安全性的一种有效方法.时间Petri网(TPN)描述具有时序关系的并发系统,用于系统行为的动态建模.但利用时间Petri网无法严格证明其模型是安全的.提出了一种用于时间Petri网模型的安全性分析方法,该方法有效地结合故障树分析法和时间Petri网的各自优点,实际应用于联锁逻辑模型的安全性分析,并对不安全的模型提出修正方案.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息工程学院	95	644	13.0	20.0
2	杜军威	同济大学电子与信息工程学院	50	341	9.0	17.0
6	王树梅	同济大学电子与信息工程学院	20	164	7.0	12.0