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

摘要：

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

关键词：事件序列图、安全性分析、动态系统、层次建模、可视化

所属期刊栏目：43

分类号：TP391(计算技术、计算机技术)

资助基金：国家部委预研项目

在线出版日期：2007-05-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：129-132