基于有色Petri网的安全构件模型

• 作者: 喻钢 徐中伟 陈旭
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 有色Petri网 安全构件建模 CTCS-2列车控制中心
• 年，卷（期）: 2008,（22）
• 所属期刊栏目: 安全技术
• 页码范围: 165-167
• 页数: 3页
• 分类号: TP309
• 字数: 3542字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2008.22.057

摘要

安全性是安全苛求软件的重要特性,基于传统构件模型的软件开发技术尚不能满足安全苛求软件的开发需求.安全构件模型是一种既具有功能性需求又具有安全性需求的特殊构件模型.该文提出一种基于有色Petri网的安全构件模型及相应的构件组装算法,以确保系统符合相应的安全性需求并将其应用于CTCS-2级列车控制中心仿真系统建模.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐中伟	同济大学电子与信息工程学院	95	644	13.0	20.0
2	喻钢	上海大学嘉定校区悉尼工商学院	24	147	7.0	11.0
3	陈旭	同济大学电子与信息工程学院	29	232	11.0	14.0