基于ESD的动态系统安全性建模与实现

• 作者: 周经伦 郑龙
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 事件序列图 安全性分析 动态系统 层次建模 可视化
• 年，卷（期）: 2007,（12）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 129-132
• 页数: 4页
• 分类号: TP391
• 字数: 4482字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2007.12.042

摘要

事件序列图(ESD)是系统安全性分析时采用的一种较新的手段,能有效地解决传统的安全性建模与分析在动态方面的不足.在对国内外动态系统安全性建模与分析方面的研究基础上,提出了一种扩展的ESD方法.对ESD的定义进行了完善,给出了ESD框架的动态逻辑图元表示形式及其数学描述,为提高其建模功能以及与系统结构关联的能力提出了层次化建模策略,并结合新的ESD算法开发了基于ESD的动态系统可视化建模与分析软件.最后,给出了一个实例以说明其有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周经伦	国防科技大学信息系统与管理学院	140	1986	23.0	38.0
2	郑龙	国防科技大学信息系统与管理学院	26	188	7.0	12.0